面向对象编程，强调了信息隔离，有利于降低代码之间的耦合度。程序的状态，保存在了对象中。函数式编程，强调了计算过程，有利于提高程序的扩展性。程序的状态，保存在了闭包中。

闭包和对象，会不会有什么关联呢？为了回答这个问题，我们从函数，高阶函数，环境出发，逐渐引出闭包的概念，然后再和对象，类，类的静态变量进行了对比。最终，我们找到了一个简洁的答案。又引起了我们对编程方法的反思。

lambda 演算是程序设计语言的一个简单模型，然而为 lambda 演算建构数学语义是个比较困难的事情。

Miller 将结合自己的学习经历，跟大家简单介绍一下图灵奖得主 Dana Scott 在二十世纪七十年代的工作。介绍他为什么引入代数里的完全偏序集、完全格、Scott 拓扑这些概念，以及如何用这些基础概念，构筑出了计算机形式语义之一的指称语义（Denotational Semantics），我们将看到这些神秘的概念是如何指导解释我们的程序的。