sniperHW

摘要： Church 整数前驱的推导比其后继复杂得多，wiki中一个前驱的定义据王垠的博客里说，是他一个数学系的同学花一星期时间推导出来的，其定义确实比其它介绍lambda的文章中用pair来实现(据说是图灵的学长花了3个月时间才想出来的)的方式简单许多,本文记录自己学习这个定义的分析过程，Church 整数的详细介绍见:http://zh.wikipedia.org/wiki/%E9%82%B1%E5%A5%87%E6%95%B0pred = λnfx.((n (λgh. h (g f)) (λu. x)) (λu. u)) pred 0 = λnfx.((n (λgh.h (g f)) (λu.. 阅读全文