Smalltalk 程序设计语言

Smalltalk，被公认为历史上第二个面向对象的程序设计语言，和第一个真正的集成开发环境(IDE)。Smalltalk由Alan Kay，Dan Ingalls，Ted Kaehler，Adele Goldberg等于70年代初在Xerox PARC开发。

Smalltalk对其它众多的程序设计语言的产生起到了极大的推动作用，主要有：Objective-C，AcTor，Java和Ruby等。90年代的许多软件开发思想得利于Smalltalk，例如设计模式、敏捷编程和重构等。

Smalltalk和许多程序设计语言不同，它不仅仅是一门语言。下面我们从几个不同的角度来解释Smalltalk。

• 一种面向对象的程序设计语言：它是一种面向对象的语言，包含语言的语法和语义。一些编译器可以通过Smalltalk源程序产生可执行文件。这些编译器通常产生一种能在虚拟机上运行的二进制代码。Smalltalk语言本身非常精炼。

• 一种程序设计环境：这里指的是一种提供许多对象的系统，而不是某种特殊的开发环境。和许多语言不同(包括C++)，Smalltalk附带有一个巨大的、相当标准的类库。这些类使得开发Smalltalk程序的效率非常高。在其它语言（例如Ada，C和Pascal）中通常被作为语言的一部分的功能（例如条件判断，循环等)，在Smalltalk由特定的类提供。

• 一个应用开发环境(ADE)：由于Smalltalk的历史原因，它具有一个非常优秀的高度集成、开放的应用开发环境。由于开发环境中的浏览器、 监视器以及调试器都由同样的源程序衍生出来的，不同的版本之间也具有相当好的兼容性。此外，这些工具的源程序都可以在ADE直接存取。

在Smalltalk中所有的东西都是对象，或者应该被当作对象处理。例如下面的表达式：

2 + 3.

应当被理解为：向对象2发送消息+，参数为对象3。

纯面向对象使得Smalltalk在语言结构方面有许多与其他语言不同的特点，例如在Smalltalk语言中没有条件语句，取而代之的是一些发送 给对象true或者false的消息，因此它们不属于语言部分，而属于Smalltalk的类库；也没有循环重复语句（C语言中的for, while），Smalltalk用向数字对象或块对象发送消息来实现重复执行。