Если я правильно понятно, то это всякие вариации rewriting'ов. Если уже даже перепись строчки можно сделать Тьюринг-полной, то деревья и подавно. Ну и плюс к тому, алгорифм Маркова, это по сути и есть грамматика нулевого типа. Однако, я давно уже переболел ими ;-)
Я же хочу категорное. По сравнению с лямбдами, разве что, для практики существеннен всякий scope. А описание гораздо чище. И не надо приводить мне в сравнение хацкелевой бесточечный стиль.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Если уже даже перепись строчки можно сделать Тьюринг-полной, то деревья и подавно.
Ну и плюс к тому, алгорифм Маркова, это по сути и есть грамматика нулевого типа.
Однако, я давно уже переболел ими ;-)
Я же хочу категорное.
По сравнению с лямбдами, разве что, для практики существеннен всякий scope.
А описание гораздо чище. И не надо приводить мне в сравнение хацкелевой бесточечный стиль.