SICP-丘奇数 [转]
摘要：
[转]http://somethin.is-programmer.com/来自sicp练习2.6,题目是这样说的:在一个可以对过程进行各种操作的语言里,我们可以完全没有数(至少在只考虑非负整数的情况下),可以将0和加一操作实现为:(define zero (lambda (f) (lambda (x) x)))(define (add-1 n) (λ(f) (λ(x) (f ((n f) x)))))这一表示形式称为Church计数,名字来源于其发明人数理逻辑学家Alonzo Church (丘奇),λ演算也是他发明的.请直接定义one和two(不用zero和add-1)(提... 阅读全文
posted @ 2013-01-16 00:27 龙豆 阅读(865) 评论(0) 推荐(0) 编辑
