Alan Kay是当今世界计算机领域最重要的人物之一，他因面向对象编程方面的贡献和设计Smalltalk语言获得了2003年图灵奖。同时，他也是个人计算机（PC），图形用户界面（GUI）的先驱。今天我们使用的C/C++或Java语言都或多或少从Smalltalk汲取过养分。

　　他所研究的领域远超计算机，总能从更高层次看问题，他的想法又总是很宏大，也许你一开始并不理解他在说什么，但回头看总会有新收获，他的每篇文章和每个演讲都令人深受启发。

　　他讲话风趣且深刻，似乎随口说的一句话就能放进名言库里，你肯定听过这句话：“预测未来的最好方法就是创造未来——The best way to predict future is to invent it”。

　　理解“对象”的历程

　　关于“对象”（object）的理解，我经历了几个不同阶段。

　　第一阶段是50年前，在ARPA研究生院的开始几周，我的几种专业背景，数学、分子生物学、系统和程序设计等，与Sketchpad、Simula和ARPAnet这些东西产生了碰撞。这使我观察到，既然一台计算机可以分解成多台虚拟计算机，相互间持续通信，于是你便可以：

完全保留表达式的威力；

随时为任何可建模的东西建模；

无限地伸缩，而不限于已有的分解计算机的方式。

　　我喜欢这些。分时运行的“进程”已是这种虚拟机的体现，但因为开销太大还缺少实际的通用性（那就寻找方法消除这些开销……）。

　　尽管可以为任何事物（包括数据结构）建模，对我来说这还远远不够。真正了不起的是为极端的可伸缩性需求提供松耦合的封装和消息机制（以一种类似生物和生态系统的方式）。

　　第二个阶段包括在“Lisp世界”中掺入Lisp本身，McCarthy关于机器人和时态逻辑的思想，在ARPA（尤其是在MIT）进行的AI工作，以及Carl Hewitt的PLANNER语言。有一种思想：对象可以像服务器一样，且可以是面向目标的，使用PLANNER类型的目标作为接口语言。

　　第三阶段是Parc的一系列Smalltalks，试图在Parc的Alto系统（128K内存，一半用于显示设备）所能实现的和未来必然需要的功能之间寻找一种实用的平衡。这项工作是与Dan Ingalls和组里其他一些天才的同事合作完成的。理想主义的小宇宙一直让我不爽，但从实用角度结果不错。

　　第四阶段（也是在Parc）是重新深入探讨时态逻辑和“世界线”（world-line）思想（后面细说）。

　　第五阶段是再次严肃地思考可伸缩性并重新审视“协作语言”（比如Gelernter的Linda），将它们看作以通用的发布和描述方式进行描述匹配，从而实现松耦合的一种方法。我仍然喜欢这种思想，并希望看它发展到对象可以真正“协商意义”的程度。

　　McCarthy的时态逻辑：“时间中的真正函数”

　　我对这一切的思考方式大部分都可追溯到上世纪50年代的John McCarthy。John是一位出色的数学家和逻辑学家。他希望自己能做严密一致的逻辑推理——同时希望他的程序和机器人也能做到。机器人是个关键：因为他想让机器人有时在费城，有时在纽约。按常规逻辑这会有问题，然而John针对“事实”成立时能表现“时帧”（time frame）的所有事实额外添加了一个参数，从而修正了这一问题。这就创建了一种简单的时态逻辑，将“事实集合”显现为世界线的层层堆栈。

　　这很容易泛化为“变量”、“数据”、“对象”……的世界线。从个体角度来看，值的“历史”替换了“值”，atv直播，从系统角度来看，整个系统被表示为每当系统处于两次计算之间时它所处的稳定状态。Simula后来采用了这一思想的一个弱化但却实用的版本。

　　应当提一下Christopher Strachey（编者注：1916年－1965年，生于英国英格兰伦敦汉普斯敦，计算机科学家。他是指称语义最早的提出者之一，也是编程语言设计的先驱，发展了编程语言CPL）——Lisp和McCarthy的伟大粉丝，他认识到通过始终使用（来自前一时帧的）旧值来产生新值并安装在新的时帧中，很多种编程模型都可以统一起来且更加安全。认识到这一点是因为他首先观察到Lisp中“尾递归”是多么干净利落，然后又看到这样的尾递归写成某种循环的形式更易理解：循环中包含类似赋值的语句，其中右边从时间t中取值，被赋值的变量则存在于时间t+1中（且这样的赋值只允许一次）。这就统一了函数式编程和同时模拟时间和状态的“类命令式”编程。

　　也要提一下Ashcroft和Wadge设计的Lucid语言（编者注：一种数据流语言，用于非冯模型编程），该语言扩展了Strachey的许多思想。