搜索技巧 海洋云增白 开源地图 AI 搜索答案 沙丘魔堡2 压缩机站 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 PostgreSQL AI工具 证券 DirectX DrawingPics 化学 KDE 披萨农场 多动症 植物学 分析化学 Three.js 大会 残疾人学校 初创 QB64 更多

Lambda 演算解释器 (lambda-calculus-interpreter.netlify.app)

这篇文章介绍了一个Lambda演算解释器的实现。Lambda演算是一种形式系统,用于研究函数定义、函数应用和递归。该解释器可以解析Lambda表达式,并将它们简化为范式。