Токен END OF FILE с flex и bison (работает только без него)

ОК, это довольно странный вопрос, потому что то, что у меня есть, работает так, как я хочу. Что я'я делаю написание синтаксического анализатора для выраж...

Обычно ли сети взаимодействия оставляют кучу лишних вентиляторов?

Я собираю термины лямбда-исчисления в сети взаимодействия, чтобы оценить их, используя абстрактный алгоритм Лампинга. Чтобы протестировать мою реализацию, я ...

Токен END OF FILE с flex и bison (работает только без него)

ОК, это довольно странный вопрос, потому что то, что у меня есть, работает так, как я хочу. Я пишу парсер для выражения лямбда-исчисления. Таким образом, выражение может быть одним из четырех: переменнаяпостоянная(выражение ...

Проверка понимания: «Переменная» v.s. «Значение» и «функция» против «абстракции»

(Этот вопрос является продолжениемэтот во время изучения Haskell.)Я привык путать понятие между «переменной» и «значением». Поэтому я прочитал о вики-страниц...

Можно ли эффективно оценить условия лямбда-исчисления?

Недавно я написал много программ для лямбда-исчисления и хотел бы запустить некоторые из них в режиме реального времени. Тем не менее, так как трендовая функ...

@naomik Я принял ответ Алана, потому что моей главной целью было использовать «ванильный Clojure как лямбда-исчисление». В своем ответе вы прекрасно перечислите недостатки этого подхода, и он очень помогает. Вы также предоставляете 3 варианта и даже предоставляете реальную оценку! Это действительно отличный ответ, я бы хотел отметить оба варианта как правильные!

чаю лямбда-исчисление с книгой Грега Майклсона «Введение в функциональное программирование через лямбда-исчисление». Я реализую примеры в Clojure, используя только подмножество языка. Я разрешаю только: символылямбда-функции с одним ...

 не проверять тип тоже.

аписать факториальную функцию без использования рекурсии с использованием лямбда-исчисления? Это означает только математическую запись, а не реализацию в каком-либо конкретном языке программирования.

Что подразумевается под «заменами, позволяющими избежать захвата»?

Читая Лямбда-исчисление в вики, наткнулся на терминCapture-avoiding substitutions, Может ли кто-нибудь объяснить, что это значит, поскольку я нигде не смог н...

Можно ли это выразить в стиле free point?

Запрос на булевы значения в лямбда-исчислении

Это представление лямбда-исчисления для оператора AND: