1. 程式人生 > >一個有趣的小知識-church計數

一個有趣的小知識-church計數

style 小知識 知識 code lam pre pan bsp spa

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

一個有趣的小知識-church計數