lambda-calculus

6зной

2ответ

Возможно ли реализовать foldl/foldr, используя нечеткую складку?

По нестойкой складке я имею в виду гипотетическую операцию примитивного сгиба для ассоциативных операторов, которая не гарантирует никакого упорядочения. То есть (fold + 0 [a b c d]) может быть (+ (+

2зной

1ответ

Как реализовать «EQ» LISP в исчислении лямбда?

Я изучаю лямбда-исчисление в эти дни и нашел это очень красивым и интересным, но я не узнал, как реализовать примитив EQ LISP, который судит, совпадают ли два символа. Я нашел много материалов для реа

0зной

1ответ

Сокращение исчисления лямбда выражения

У меня есть следующее выражение и нужна помощь в сокращении. Выражение левой руки должно быть равным правильному выражению. (Лп. (Λs. (С (λx.λy.y)) п) λx.x) (λx.λy.y) = λx.x (Лп. (Λs. (С (λxy.y)) п) λ

-2зной

1ответ

Определить бинарный экспоненциальный оператор CARAT.in lambda calculus CARAT

Я пытаюсь определить бинарный экспоненциальный оператор в лямбда-исчислении сказать оператор CARAT. Например, этот оператор может принимать два аргумента: лямбда-кодирование числа 2 и лямбда-кодирован

3зной

2ответ

Haskell, лямбда-исчисление для оценки

(рисунок 1) Часть простого типизированного лямбда-исчисления (рисунок 1), это реализовано в Haskell, как указано ниже. evaluate expression = do case expression of (Application (Lambda x lt

1зной

1ответ

Найдите лямбда-терм без свободных переменных следующих типов?

Не мог бы кто-нибудь объяснить процесс нахождения лямбда-терма без свободных переменных следующих типов? У меня есть идея о том, как я должен это решить, но я не уверен, что это правильный путь. а) р

8зной

3ответ

Ищет Черч-кодирование (лямбда-исчисление) для определения < , >,! =

я должен создать некоторые функции лямбды для>, < и! = Я не имею представления о том, как, может кто-нибудь помочь Я пожалуйста ? PS: Мы только начали с Lambda Calculus, поэтому, пожалуйста, не приним