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

热度排名 #927

λ 演算游乐场演示

Lambda Calculus Playground Demo

从一个最小的函数应用看起，追踪实参怎样替换表达式里的变量。若内外层恰好用同一个名字，留意何时须先改名以免混淆。

Alan Pierce · 1 串讨论 · 热度 2.65

在此播放

讨论出处

• Hacker News · 原讨论 ↗2016-12-27 · 帖子分数 206