Отличительная черта языка J — это возможность написания итеративных алгоритмов без явного использования циклов и рекурсии. К примеру, сумма всех элементов массива решается так "+/", а среднее всех элементов массива так "+/%#".

Различные обзоры J уже не раз публиковались на Хабре. Например в этой статье и в этой.

J — язык с 30-летней историей и он все еще развивается и совершенствуется. Однако оставалось в J одно «белое пятно» — итеративные алгоритмы с остановкой по условию. Для этого предлагалось использовать конструкцию while. в паре c break. и continue.

Использование while. в J выглядит избыточным и неуклюжим. А, кроме того, серьезно проседает по скорости в сравнении с тацитными формами.

И вот в 9й версии языка добавили новый союз F (названый так по первой букве слова «fold»).



Для сравнения решим задачу с использованием while. и с использованием нового союза
Условие простое: получить из исходного массива новый массив, который содержит удвоенные значения элементов. Длина нового массива задается извне и может быть меньше исходного.
Сначала с использованием while.

t =: dyad define
c =. 0
i =. i.x
z =. $0
while. -. c = y
do. 
z =. z , (+: (c { i))
c =. >: c
end.
z
)
10 t 5
    0 2 4 6 8

А теперь решение с использованием нового союза F. Добавим, что условие выхода из цикла проверяется с помощью глагола Z:


COUNT =: 6
v=: dyad define
_2 Z: -.* COUNT =: <: COUNT
x
)
'' +: F:. v (i.10)
    0 2 4 6 8

В документации обещают, что F. будет не только удобнее, но и быстрее while. В конце концов, J становится ближе к людям!

P.S. Знающие люди могут заметить, что эта задачка легко решается без использования как цикличных, так и новых конструкций. Достаточно извлечь подмассив нужной длины и потом в тацитной форме его обработать. Однако в реальных задачах часто бывает, что длина подмассива заранее неизвестна и условие останова вычисляется в процессе работы алгоритма.