Есть ли интерпретатор (или компилятор) для нетипизированного лямбда-исчисления? (Согласно этой теме это возможно.) Я понимаю, что от него будет мало пользы в качестве языка программирования, особенно если будет много ...

В нетипизированном лямбда-исчислении можно кодировать различные типы с помощью функций более высокого порядка. Примеры: ноль = λfx. Икс один = λfx. FX два = λfx. f (fx) три = λfx. f (f (fx)) и т.д ...

возможно ли передать nil как необъявленную константу в нетипизированный параметр какой-либо функции? У меня есть такие функции, и я хотел бы передать некоторую константу в параметр Data, чтобы удовлетворить ...