я определил Чёрч ноль и некоторые другие стандартные функции на Чёрче в соответствии с определениями Википедии следующим образом: (define n0 (λ (f x) x))
(define newtrue
(λ(m n) m))
(define n
Я хочу реализовать парсер для лямбда-выражений. Но я получаю «несоответствующие вход„“, ожидающей„)“» ошибка для этого входа: (\ хх х) (\ хх х), не знаю, почему ... У меня есть грамматики: grammar Lam
Пусть чистая λ-функция является термином, в котором нет ничего, кроме абстракций и приложений. На JavaScript можно вывести исходный код чистой функции, применив все абстракции к вариационным функциям,