美国联合航空行李:Chruch计数的Scheme程序
来源:百度文库 编辑:查人人中国名人网 时间:2024/04/29 21:46:33
(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
(lambda (f) (lambda (x) (f ((n f) x)))))
请解释一下程序的执行过程,谢谢!
(define (add-1 n)
(lambda (f) (lambda (x) (f ((n f) x)))))
请解释一下程序的执行过程,谢谢!