从零开始的 λ 演算
本文介绍了λ演算的基本概念,展示了如何在Python中仅使用单参数函数实现布尔值、数字及其运算。作者通过构建TRUE、FALSE、NOT、AND、OR等函数,以及数字的表示和算术运算,展示了这种极简编程模型的奇妙之处,为函数式编程和编程语言理论提供了入门视角。
博客雷达不转载正文。这里只有标题、作者、时间和一小段 AI 生成的摘要;全文在作者自己的站点上,阅读请点上面的按钮过去——文章的版权一直在原作者手里。
你也在写博客?做一张「已被博客雷达收录」的徽章挂回自己的站,想挂就挂,也不占首页。