SICP 2.6
チャーチ数。手続きをn回作用させることによって非負の整数nを表現する。
なんだかわからんが解けた。
(define zero (lambda (f) (lambda (x) x))) (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x))))) (define one (lambda (f) (lambda (x) (f x)))) (define two (lambda (f) (lambda (x) (f (f x))))) (define (+ n m) (lambda (f) (lambda (x) (n ((m f) x)))))