church-encoding

1зной

1ответ

Как создать экземпляр типа класса в haskell?

Я новичок в Haskell. Я ищу, если есть способ создать экземпляр типа класса. Есть ли способ заставить этот код работать без использования данных или newtype? type N = ∀n. (n -> n) -> n -> n instance

3зной

2ответ

лямбда-исчисление в scala

ОК, поэтому я пытаюсь реализовать basics of lambda calculus. Вот оно. Мои номера: def zero[Z](s: Z => Z)(z: Z): Z = z def one[Z](s: Z => Z)(z: Z): Z = s(z) def two[Z](s: Z => Z)(z: Z): Z = s(s(z))

4зной

1ответ

Как реализовать разделение колоний в хэскелле?

Я новичок в haskell и пытаюсь внедрить церковную кодировку для натуральных чисел, как объясняется в this guide. Я хотел бы осуществить разделение между двумя церковными цифрами. {-# LANGUAGE RankNType

4зной

2ответ

Non-спасаясь ошибка при выполнении Чёрча в Swift 3

Я пытаюсь реализовать Church Numerals в Swift 3. В настоящее время у меня есть: func numToChurch(n: Int) -> ((Int) -> Int) -> Int { return { (f: (Int) -> Int) -> (Int) -> Int in return { (

1зной

1ответ

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

У меня возникают проблемы понять, почему они являются наиболее общими типами для соответствующего Чёрча: 2 = λf.λx. f (f x) : (α → α) → α → α 1 = λf.λx. f x : (α → β) → α → β 0 = λf.λx. x : β → α

2зной

1ответ

лямбда-исчисление (SML) - Нанести церковный номер другого

Я пытаюсь понять функцию возведения в степени на Чёрче: fun power m n f = n m f; В нем я вижу умножение. Я знаю, что это неправильно, потому что умножение: fun times m n f = m (n f); и я думаю, чт

2зной

1ответ

Какова цель церковного кодирования?

В последнее время я читал статьи об исчислении лямбда и кодовом кодировании, и хотя я сформировал дистанционное понимание того, что они влекут за собой, у меня возникли проблемы с поиском цели использ

0зной

1ответ

Типичная/ракетка: данная Природный номер определенного типа необходимо умножить на две числа функцию для создания

Учитывая следующие определенные структуры и тип, необходимо написать умножить две функции чисел. У вас есть проблемы с этим. Любые советы будут высоко оценены. (define-struct Zero()) (define-struct