博客雷达 中文独立博客的 RSS 信息聚合站
weirane
收录自 blog.ruo-chen.wang · 这家的全部文章 · 这家的收录页

从零开始的 λ 演算

weirane 2021-04-18 00:00 技术

本文介绍了λ演算的基本概念,展示了如何在Python中仅使用单参数函数实现布尔值、数字及其运算。作者通过构建TRUE、FALSE、NOT、AND、OR等函数,以及数字的表示和算术运算,展示了这种极简编程模型的奇妙之处,为函数式编程和编程语言理论提供了入门视角。

博客雷达不转载正文。这里只有标题、作者、时间和一小段 AI 生成的摘要;全文在作者自己的站点上,阅读请点上面的按钮过去——文章的版权一直在原作者手里。

你也在写博客?做一张「已被博客雷达收录」的徽章挂回自己的站,想挂就挂,也不占首页。