基于 lambda calculus 的课程

今天是计算机科学基础班（第 5 期）第一次讨论会。这也是我第一次解释这个班的第一节课到底讲的是什么——其实第一节课讲的都是 lambda calculus。只不过我给它做了一个包装，设计了很多的练习，这样零基础的同学也可以比较顺利的掌握。

这可能是史无前例的课程设计。从来没人从 lambda calculus 开始教计算机课程，而且是面向真·零基础的学生。从未见过任何大学，包括 CMU，Stanford，MIT，Harvard，Indiana…… 这样从 lambda calculus 开始，而这却是我的课程一开头就讲的。我的整个课程都是建立在 lambda calculus 之上。

之前的几期课程，我一直都没告诉同学们我讲的到底是什么。以至于有些同学毕业挺久了，还在问我要看什么 lambda calcu…