Lambda calculus 参考资料
有人看完了我的《Ground-Up Computer Science》，问我有什么 lambda calculus 的资料可以推荐。我推荐大家看看 Matthias Felleisen 和 Matthew Flatt 的《Programming Languages and Lambda Calculi》。
这个 Matthias Felleisen，可能就是 Dan Friedman 最厉害的一个学生了。PL 领域的一些最超前的概念，现在大部分主流语言里还没有，很多是他想出来的。每次开学术会议在后排靠在门口，等别人讲完之后提问：“你这个想法跟我们 30 年前发表的那篇 paper 有什么不同吗？” 就是他了。
实际上，上完了计算机科学基础班的同学，其实都已经会了 lambda calculus，而且可能已…
