y-combinator

3зной

1ответ

Написание комбинатора Y в типизированном/ракетке

Предположим, у меня есть нетипизированная реализация комбинатора Y в Racket. pasterack.org version #lang racket (define Y ((λ (f) (f f)) (λ (z) (λ (f) (f (λ (x) (((z z) f)

1зной

2ответ

Почему схема требует применения в реализации Y-combinator, но у Racket нет?

Вот the Y-combinator in Racket: #lang lazy (define Y (λ(f)((λ(x)(f (x x)))(λ(x)(f (x x)))))) (define Fact (Y (λ(fact) (λ(n) (if (zero? n) 1 (* n (fact (- n 1)))))))) (define Fib (Y (λ(f

22зной

1ответ

Использование Y Combinator в C#

Я пытаюсь понять, как писать рекурсивные функции (например, факториал, хотя мои функции намного сложнее) в одной строке. Для этого я подумал об использовании Lambda Calculus'Y combinator. Вот первое о

1зной

2ответ

Scheme - серия фибоначчи с вложенной лямбдой

Вдохновленный this пост. Я пытаюсь реализовать ряд Фибоначчи с вложенным лямбда - (((lambda (x) (x x)) ;; evaluate x on x ((lambda (fibo-gen)) ;; fibo-gen get another func as arg (lambda (N

8зной

1ответ

Доступ к внешней переменной внутри блока и Y-combinator

Надеюсь, вам все будет в порядке. Я реализую фиксированную точку Y-combinator в Гавани, и у меня возникают проблемы с ним. Ну, Y-комбинатор может быть определено лямбда-исчисления как: Y = (λh.λF.F(λ

5зной

1ответ

Двухслойный комбинатор "Y-style". Это распространено? Имеет ли это официальное название?

Я изучал, как языки, запрещающие использование-до-def и не имеющие изменяемых ячеек (нет set! или setq), тем не менее могут обеспечить рекурсию. Я, конечно, побежал через Y Combinator и друзей, наприм