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,而且可能已…


