视频目录 / 数学逻辑、集合与证明

热度排名 #709

用数学编程：λ 演算入门

Programming with Math | The Lambda Calculus

从一个最短的函数写法起步，把参数代入表达式，再逐步化简。观察一连串很小的规则如何构成可以运行的计算。

Eyesomorphic · 2 串讨论 · 热度 3.414

在此播放

讨论出处

• Hacker News · 原讨论 ↗2024-06-15 · 帖子分数 6
• Hacker News · 原讨论 ↗2025-02-19 · 帖子分数 1