基础语法
看一下这些基础语法，便能够读懂大部分的代码内容。
- 注释：用双引号包围。
"这是注释" - 字符串：用单引号包围。
'这是一个字符串' - 单个字符：
$c - 符号（Symbol）：
#thisIsASymbol大家也许对符号这个概念比较陌生。简单来说，只要两个符号的值一样，那么它们在内存中也是相同的对象。 - 变量声明：
| a |，也可以一次声明多个：| a b c | - 赋值语句：
a := 5 - 相等性与同一性：相等性使用
=，相当于 Java 中的equals()。同一性使用==，即判断内存地址相同。 - 返回语句：
^ a即其他语言中的return a。 - 级联：Smalltalk 使用
.表示语句的末尾，而;用于实现级联的功能。所谓级联，是指可以连续在同一个对象上调用方法，而不必每次都重复写出这个对象。举个例子：
| p | p := Client new
name: 'Jack' ;
age: 32 ;
address: 'Earth' .
方法与类
一个 Smalltalk 中方法定义和调用的例子：
"定义一个方法：使物体围绕某个轴旋转一定角度"
rotateBy: angle around: vector
| result |
result := [... 省略具体内容 ].
^ result
"调用这个方法" t rotateBy: a around: v .
基于主流语言的语法，来看看一个方法是以何种逻辑演化成 Smalltalk 的样子的。
先从我们熟悉的形式开始：
t->rotate(a, v); // In C++
t. rotate (a, v); // In Java
省略掉一些不影响语义的符号：
t rotate(a, v); // 省略掉 .
t rotate a, v; // 省略括号
然后我们发现参数的含义不太清晰，可以给每个参数前面加一个前缀来使含义更加明确：
t rotate by a around v;
但是这样的话，哪个词语是前缀，哪个是参数就不太能分得清。因此我们给前缀加个冒号来区分：
t rotate by: a around: v;
最后，都这样了，方法名字本身也没必要单列出来，可以直接和第一个参数前缀合并起来，就成了 Smalltalk 现在的样子：
t rotateBy: a around: v ;
再来看一个复杂点的例子：
a negative | ( b between: c and: d ) ifTrue: [ a := c negated ]
它相当于其他语言中的：
if (a < 0 || (c < b && b < d)) {a = -c;}
-c 和 c negated 有所不同，前者只是进行了一次简单的数学运算，后者是在C的基础上调用了negative并返回到C，然后用这个返回的值去操作。
这体现了Smalltalk的核心概念之一：一切皆对象。对比于另一门同样号称「一切皆是对象」的语言 Java，你是不能写出 5.negated() 这种代码的。java中有 基本类型 、封装类型，而Smalltalk中对象的概念贯穿始终，保持了同一性。
在Smalltalk中有另一个重要概念：消息。 在上面的例子中称这种写法为 调用对象。 但实际上 Smalltalk 中并没有这个概念，而是 给对象发送消息。 例如 c negated 用 Smalltalk 的话来说就是给对象 c 发送了一个名为negative的消息。
在 Smalltalk 中有三种消息，它们在上面的例子中都能体现：
-
一元（unary）消息：可以理解为一个无参方法，例如上面的
negated消息。 -
二元（binary）消息：就是常用的一组计算符号，比如四则运算符还有上面的
|等逻辑运算符。不过需要注意的是，它的本质还是发送消息而不是直接运算，因此没有运算符优先级的概念。+和*在 Smalltalk 中的优先级是相等的。 -
Keyword 消息：可认为是普通的有参方法，在 Smalltalk 中就是每个参数以冒号连接来表示，比如上面的
rotateBy:around:还有between:and:。这样的消息在 Smalltalk 中被称为 keyword 。
描述词汇的不同也会带来思维方式的不同，相比于「方法调用」，「发送消息」这个说法会显得更加泛用一些，也可以带来一些更接近本质的思考。
举个例子，如果调用一个不存在的方法，那自然会报错。但如果给一个对象发送一个它不认识的消息，那非得报错吗？我大不了不处理不就行了。
继承实质是面向对象语言中实现代码重用的一种手段，但现在大部分情况下「组合优于继承」早已成为共识。
封装是为了隐藏底层或内部的实现细节，也并不是面向对象独有的概念。
多态在传统面向对象教学中的解释颇为复杂。我们定义一个父类，并让两个不同的子类 override 父类的同一个方法，并编写不同的实现，来说明多态性。但是如果用发送消息的思路来解释就很简单了。给两个不同的对象发送同一个消息，这两个对象会做出不同的反应，这就非常自然而然了，压根不需要牵扯到类的继承之类的概念。
理解 Smalltalk 的核心概念之后，再来看一下怎么声明一个类：
Object subclass: #MyClass
instanceVariableNames: '' “实例变量名”
classVariableNames: '' “类变量名”
poolDictionaries: '' “字典池”
category: 'Pupeno' “类别”
大部分编程语言都会使用 class 关键字声明一个类，并用 extends 或类似的关键字来声明继承关系。而Smalltalk 则另辟蹊径。首先，由于一切皆是对象，因此 Object 类也是一个对象；其次，Object 类可以接收名为 subclass: 的消息，创建一个新的对象。无需再引入任何特殊的语法，仅用语言本身的两个核心理念，就十分自洽地把类的概念创建了出来。
不仅仅是定义类，还有常用的分支、循环语句等，在 Smalltalk 中都可以通过发送消息的形式来实现，而无需定义额外的诸如 if、while 等关键字。这或许就是 Smalltalk 把类似 subclass: 之类的带参消息都称作 keyword 的原因。它们完全可以替代其他语言中各种关键字的职能。
代码块
继续回到上一节的例子：
a negative | ( b between: c and: d )
ifTrue: [ a := c negated ]
关注这个 [a := c negated] 。这里由中括号包围的部分，大家或许会以为就像是 C++/Java 里跟在 if 语句后面的大括号——对，但不全对。在 Smalltalk 中它被称为代码块，可以放在一个变量里面，自由地控制它的调用时机，也可以把它像参数一样传递。做个简单对比：
"in Smalltalk"
a := [: x | x + 1 ] "将一个代码块赋值给 a"
( a value: 10 ) "运行这个代码块并传入参数 10"
// in Javascriptlet
a = function ( x ) { return x + 1 ; };
a ( 10 );
控制流
结合 Smalltalk 对象间发送消息的思想和代码块的能力，那么它将变得无所不能。上文中提到 Smalltalk 无需额外的关键字就能实现 if 和 while 等的功能。让我们具体地看一下如何利用这些能力来实现 if 的功能。
首先，我们需要定义出 true 和 false 这两个常量：
先定义出 PBoolean 类，然后创建PTrue 和 PFalse 两个对象。PTrue 的实例就可以认为是 true，false 也是同理。
Object subclass: #PBoolean
instanceVariableNames: ''
classVariableNames: ''
poolDictionaries: ''
category: 'Pupeno'
PBoolean subclass: #PTrue
instanceVariableNames: ''
classVariableNames: ''
poolDictionaries: ''
category: 'Pupeno'
PBoolean subclass: #PFalse
instanceVariableNames: ''
classVariableNames: ''
poolDictionaries: ''
category: 'Pupeno'
其次，我们定义 ifTrue:else: 消息。它接受两个代码块作为参数。当 PTrue 类的实例接收到消息时，它执行 ifTrue: 携带的代码块，忽略 else: 携带的代码块。反之亦然。
"PTrue 中定义"
ifTrue: do else: notdo
^ do value
"PFalse 中定义"
ifTrue: notdo else: do
^ do value
再次，我们定义一个 MyClass 对象用作测试，它可以接受 equals: 消息判断两个对象是否相等。为了方便起见，我们永远返回 true 。实际中可以自行实现其业务逻辑。
equals: other
^ PTrue new
最后，我们就可以愉快地使用 if-else 了：
m1 := MyClass new .
m2 := MyClass new .
( m1 equals: m2 ) ifTrue: [
Transcript show: 'They are equal'
] else: [
Transcript show: 'They are not equal'
]
总结
本文介绍了Smalltalk中最基础的语言规则与设计思想。它引领了面向对象前沿的概念，它的语言特性直到现在也很有参考、学习的价值。
