church-encoding

1зной

1ответ

Y-Combinator factorial в javascript работает для чисел не для церковных цифр.

Мне удалось реализовать кодовое кодирование и Y-Combinator, используя функцию со стрелкой ES6 в javascript. Но когда я попытался оценить функцию факториала, FALSE = a => b => b TRUE = a => b => a Z

0зной

1ответ

Что означает выражение haskell

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

3зной

1ответ

Swift функция высшего порядка (церковь пара аки минусы) с родовыми типами параметров не принимают типов параметров ввода

я бездельничал с функциональным программированием в Swift 2.1, пытаясь реализовать Church encoding pair/cons функции (cons = Хе λy λf FXY в нетипизированном lambda calculus), который у меня был read,

2зной

1ответ

Свободные монады - это церковные цифры?

Комментатор recently stated: Бесплатные монады Чёрча - только с помощью (эндо-) функторов вместо функций! Он продолжает to explain this говоря: они являются как endofunct (ион | или) состоит из 0 - п

3зной

2ответ

Реализовать в Haskell церковную кодировку пары для полиморфного λ-исчисления/System F

Я хочу реализовать Church encoding of the pair в полиморфном лямбда-исчислении в Haskell. На странице 77, раздел 8.3.3 из Peter Selinger's notes on lambda calculus, он дает конструкцию декартово произ

0зной

1ответ

рекурсия для церковных числительных в схеме

я определил Чёрч ноль и некоторые другие стандартные функции на Чёрче в соответствии с определениями Википедии следующим образом: (define n0 (λ (f x) x)) (define newtrue (λ(m n) m)) (define n