Smalltalk

消息传递的世界观

大多数语言里，你调用一个函数：print(x)。Smalltalk不是这样——你向一个对象发送消息：x printOn: Transcript。这不只是语法差异，而是设计哲学的根本不同。Alan Kay（2003年图灵奖得主）在设计Smalltalk时受到生物细胞的启发：细胞之间通过化学信号通信，不需要知道对方的内部结构。对象之间传递消息，而不是直接操纵彼此的数据。

Smalltalk-80（1980年）是第一个对外发布的版本，由施乐PARC发布。它的彻底程度令人惊叹：整数是对象，布尔值是对象，类本身也是对象（类是类的实例，叫做metaclass）。3 + 4实际上是向对象3发送消息+，参数是4——加法是方法，不是内置运算符。这让你可以重定义几乎一切行为。[1]

它改变了软件工程的什么

施乐PARC是现代计算机科技的摇篮，Smalltalk在这里孵化了几个至今仍是主流的概念：

• 图形用户界面：PARC的Smalltalk系统是最早的桌面隐喻GUI之一，Steve Jobs参观后把这个思想带到了Macintosh
• MVC（Model-View-Controller）：Trygve Reenskaug在1979年参与Smalltalk项目时提出了这一架构，后来成为GUI与Web框架设计的基础
• 即时编译（JIT）：Deutsch-Schiffman在1984年为Smalltalk-80实现的JIT技术，后来被JVM和V8等广泛采用
• 交互式开发环境：Smalltalk的图像（image）让程序状态持久化，开发者在运行中的系统里修改代码，不需要重启

今日最活跃的Smalltalk实现是Pharo（2008年起，开源）和Squeak（1996年，源自Apple），两者都保留了image-based的开发环境。Ruby的设计者Matz明确承认Ruby深受Smalltalk影响，Python的类系统也有Smalltalk的痕迹。