Здравствуйте, btn1, Вы писали:

B>Помнится, во всех теориях по грамматикам обязательно говорят про всякие рекурсии, которые могут впадать в бесконечность. Тут это надёжно решено?
Алгоритмы, которые решают это надёжно медленные.
Наш решает достаточно надёжно для практического использования при этом быстрый.

B>Не критично, но смущает многословие типа "precedence" и "right-associative" — нельзя ли как-то полаконичнее? Например:
Экономить на буквах последнее дело. Экономить нужно сущности.

Иначе можно дойти до такого:
The following defines a J function named "avg" to calculate the average of a list of numbers:

avg=: +/ % #