河东奥正诚园值得买吗:Chruch计数的Scheme程序

来源:百度文库 编辑:高考问答 时间:2024/05/06 13:13:47
(define zero (lambda (f) (lambda (x) x)))

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

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