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

Я новичок в функциональном программировании и F #. В качестве упражнения я пытаюсь реализовать...

Я хотел бы протестировать некоторые определения в системе F, используя Agda в качестве моего...

Можно легко кодировать церковные пары следующим образом: Definition prod (X Y:Set) : Set := forall...

В следующем коде утверждение add'_commut принимается Coq, но add_commut отклоняется из-за...

Для Церкви, кодирующей N натуральных чисел, можно определить принцип рекурсии nat_rec: Definition N...

Следующий код предназначен для печати церковного кодирования логических значений как Bool:...

Я задавал вопрос раньше, но я думаю, что этот вопрос был плохо формализован, так что ... Я...

Типы с кодировкой функций (то есть вложенные функции с карри) имеют некоторые недостатки в...

Различные проблемы оптимизации, такие как этот , привели к закодированным в Church спискам как к...

Я имею в виду этот вопрос type Churchlist t u = (t->u->u)->u->u В лямбда-исчислении...

Церковное кодирование (он же шаблон посетителя) - это способ представления данных в виде функций:...

Мне пришлось реализовать функцию карты haskell для работы со списками церквей, которые определены...

Книга Структура и интерпретация компьютерных программ , которую я читал, представляет церковные...

Церковные цифры можно выразить в C ++ 0x (C ++ 11?), Используя новые лямбда-части языка, используя...

Я пытаюсь ввести церковные цифры в Хаскеле, но у меня возникла небольшая проблема.Haskell жалуется...

Я работаю через SICP, и проблема 2.6 поставила меня в затруднительное положение.При работе с...

Я практикуюсь с SML и выполняю небольшое задание, в котором мы должны реализовать церковные цифры,...

Я застрял на следующем шаге. Будет здорово, если кто-нибудь сможет мне помочь: 2 = λfx.f(f x) 3 =...

Я могу довольно просто определить церковные цифры, используя схему: > (define f (lambda (x) x))...