Лямбда-исчисление в 397 байтах

Сложно, непонятно, но очень интересно

Волшебная фиговина - непонятно зачем нужная, но завораживает в желании понять что это такое )))

Длинные листинги можно под спойлер убрать

Жесть конечно. Даже не представляю где человеку который этим занимается будет не скучно работать... апишки там пилить с микросервисами, с браузером бадаться =))

`асфальтовая топь` -> Тьюринговская трясина. Вполне себе устоявшееся выражение, не надо отсебятины.

реализует виртуальную машину Чёрча-Кривина-Тромпа с монадным вводом-выводом.

Для неподготовленного человека это, наверное, звучит как текст из научной фантастики середины прошлого века.

Процитирую Никлауса Вирта -- долой жирные программы. Жители глубинки меня понимают.