代码改变世界

随笔档案-2013年4月10日

使用 Lambda 表达式编写递归四:实现 Θ 组合子

2013-04-10 20:33 by 鹤冲天, 3408 阅读, 收藏, 编辑
摘要: 上一篇文章已经实现了 Y 组合子。 本文将实现另一个不动点组合子: Θ 组合子。 Θ 组合子也是一个常见不动点组合子,由 阿兰·图灵 发现,也称为图灵不动点组合子: Θ = (λx.λy.(y(x x y))) (λx.λy.(y(x x y))) 阅读全文

使用 Lambda 表达式编写递归三:实现 Y 组合子

2013-04-10 17:31 by 鹤冲天, 7430 阅读, 收藏, 编辑
摘要: 也许你我都难以理解,为什么有人对她痴迷疯狂,铭记在心中不说,还要刻在身上。 她让人绞尽脑汁,也琢磨不定!她让人心力憔悴,又百般回味! 她,看似平淡,却深藏玄机!她,貌不惊人,却天下无敌! 她是谁?她就是... 阅读全文
点击右上角即可分享
微信分享提示