(бред)

[wizzard]

префиксная, инфиксная, do-нотация, arrows – это все способы записи дерева или графа атомов, из которых состоит программа.

алсо в апофеозе скобочки и операторы continue-execution (;), list-construct (,), member-select (.) тоже можно по большому счету вынести из грамматики.

вот например если вынести мемберселект то можно делать мультиметоды (a, b).

только тогда парсер как-то размазывается нафик по компилятору а может даже в рантайм переползает, вот хз, может это хорошо а может и плохо.

upd: лисп (как bootstrap syntax) с stateful парсером получается, как в форте, явно интерпретируемый.

upd2: только парсерам тогда тоже нужен свой scope, естественно.