dnf淬火炎魂剑鞘:Chruch计数的Scheme程序

来源:百度文库 编辑:高校问答 时间:2024/05/16 09:20:27
(define zero (lambda (f) (lambda (x) x)))

(define (add-1 n)
(lambda (f) (lambda (x) (f ((n f) x)))))

请解释一下程序的执行过程,谢谢!