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

Posted luozhonghao

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了一个有趣的小知识-church计数相关的知识,希望对你有一定的参考价值。

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

 

以上是关于一个有趣的小知识-church计数的主要内容,如果未能解决你的问题,请参考以下文章