можно определить Чёрч довольно легко с помощью схема: > (define f (lambda (x) x))
> (f f) ;0
#<procedure:f>
> (f (f f)) ;1
#<procedure:f>
Однако это не делает его очень легко распознать, что (f
Я пытаюсь лучше понять, как типы вступают в игру в исчислении лямбда. По общему признанию, многие вещи типа теории над моей головой. Lisp - это динамически типизированный язык, который примерно соотве
в лямбда-исчислении (λ x. Λ y. Λ s. Λ z. Xs (ysz)) используется для добавления двух цифр Церкви, как мы можем объяснить это, есть ли хороший ресурс лямбда исчисление для функционального программирован