一个有趣的小知识-church计数

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