Ответсообщение недоступно
Если честно, я не очень понимаю как избежать неявных аллокаций в лямбда-исчислении. Любое замыкание или частичное применение это же, по сути, аллокация, нет?
Плюс, какой-нибудь терм типа
(\x. x x x) (\x. x x x)
В процессе исполнения разрастается бесконечно, и, кажется, это невозможно реализовать без аллокаций