church-encoding

5зной

1ответ

Я хочу, чтобы иметь возможность использовать cata от recursion-schemes пакет для списков в церковном кодировании. type ListC a = forall b. (a -> b -> b) -> b -> b Для удобства я использовал тип втор

5зной

2ответ

кодирование двоичных цифр в лямбда-исчислении

Я не видел упоминания бинарных цифр в исчислении лямбда. Церковные цифры - унарная система. Я задал вопрос о том, как это сделать в Haskell здесь: How to implement Binary numbers in Haskell Но даже по

5зной

1ответ

Есть ли какой-нибудь нерекурсивный термин, который складывается над списком scott-encoded?

Предположим, что у меня есть scott-encoded список таких как: scott = (\ c n -> c 1 (\ c n -> c 2 (\ c n -> c 3 (\ c n -> n)))) Я хочу функцию, которая получает такой вид списка и преобразует его в с

-2зной

1ответ

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

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

8зной

3ответ

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

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

3зной

2ответ

Как внедрить церковные цифры с использованием Java 1.8

Я пытаюсь реализовать церковные цифры в Java 1.8. Моя первая попытка: import java.util.function.UnaryOperator; @FunctionalInterface public interface ChurchNumeral { public static ChurchNumeral