一段时间以来，我一直在为 Lambda 微积分苦苦挣扎。有很多资源可以解释如何减少嵌套的 lambda 表达式，但很少能指导我编写自己的 lambda 表达式。
我正在尝试使用纯 lambda 演算（即，单参数函数，教堂数字）在 Racket 中编写递归斐波那契解决方案。
这些是我一直在使用的教会数字的定义：
(define zero (? (f) (? (x) x)))
(define one (? (f) (? (x) (f x))))
(define two (? (f) (? (x) (f (f x)))))
(define three (? (f) (? (x) (f (f (f x))))))
(define four (? (f) (? (x) (f (f (f (f x)))))))
(define five (? (f) (? (x) (f (f (f (f (f x))))))))
(define six (? (f) (? (x) (f (f (f (f …