Другой подход заключается в использовании монадических и двоичных форм #
(Tally and Copy). Эта идиома использования Копии для удаления элемента - это то, что я часто использую.
Крюк (i. [email protected]#)
использует Талли (монадическая #) и монадические и двоично i.
(Целые и индекс) для создания строки фильтра:
2 (i. [email protected]#) 'abcde'
1 1 0 1 1
которого Copy (диадические #) использует опустить соответствующий пункт.
2 ((i. [email protected]#) # ]) 0 1 2 3 4 5
0 1 3 4 5
2 ((i. [email protected]#) # ]) 'abcde'
abde
Это очень необычный синтаксис, но, безусловно, проще, чем мой путь. –
Ваш способ значительно эффективнее удалить один элемент. Вероятно, это наиболее эффективно (по крайней мере, между использованием '{', '; .' или'/.'). – Eelvex