http://www.vaikan.com/why-i-love-smalltalk/
C，C++，Python等，這些算是傳統(tǒng)的語(yǔ)言吧，我從這些語(yǔ)言上學(xué)會(huì)了基本的編程技術(shù)。這之后，又有四種語(yǔ)言，它們讓我學(xué)到了一些新的東西。這些語(yǔ)言改變了我思考的模式，雖然我從來沒有使用過它們，但它們都是絕對(duì)值得你學(xué)習(xí)一下的。它們是：
Smalltalk
Lisp
Erlang
Haskell
你也許還會(huì)把Prolog加入這個(gè)列表中，但我沒有學(xué)過Prolog。本文是關(guān)于Smalltalk這種語(yǔ)言的。
我的目的并不是教大家怎么使用Smalltalk，而是向你展示一些Smalltalk能做到、而其它語(yǔ)言做不到的一些事情(聲明：有些語(yǔ)言也能做到，它們都是Smalltalk的一些方言)。不用說，我需要向你先介紹一下這種語(yǔ)言的一些基本知識(shí)，之后我才能向你展示更有價(jià)值的東西，那么就開始吧，第一個(gè)程序：
1 + 1
很顯然，計(jì)算的結(jié)果是2.如果你想把它存到一個(gè)變量里，這樣做：
m := 1 + 1
句子都要以點(diǎn)號(hào)(句號(hào))結(jié)尾，像這樣：
m := 1.m := m + 1
在Squeak——這是Smalltalk語(yǔ)言的一種版本實(shí)現(xiàn)——里，有一個(gè)對(duì)象叫做Transcript，你把消息發(fā)送給它，它能把消息顯示到屏幕上。它很像一個(gè)Log窗口。你要這樣去用它：
Transcript show: 'Hello world'
運(yùn)行的效果會(huì)是這樣：
[圖片上傳中。。。（1）]
Smalltalk的這種語(yǔ)法非常的獨(dú)特。消息(message)——這在其它語(yǔ)言里也叫做“方法”——是show:
(包括冒號(hào))，它接受一個(gè)參數(shù)。我們用下面的寫法可以讓這個(gè)句子運(yùn)行10遍：
10 timesRepeat: [ Transcript show: 'Hello world']
現(xiàn)在你開始能看出Smalltalk的獨(dú)特之處了。我把消息timesRepeat:
發(fā)送到對(duì)象“10”——一個(gè)Integer
類。這N次的循環(huán)操作是由這個(gè)Integer
來執(zhí)行的，你認(rèn)真想想，其實(shí)很有道理。
第二個(gè)有趣的部分是代碼段落(block)，是在方括號(hào)里面的部分。你可能認(rèn)為它跟其他種語(yǔ)言里的代碼段落語(yǔ)法是同樣的道理，比如Java的：
for(int i=1; i<11; i++) { System.out.println("Hello world");}
但你要是從Smalltalk的視角來看，你會(huì)發(fā)現(xiàn)它強(qiáng)大的多。它實(shí)際上是個(gè)閉包(closure)。看這段：
t := [ Transcript show: 'Hello world']
現(xiàn)在，我有了一個(gè)叫做t
的變量，它的類型是BlockClosure
，通過這個(gè)變量，我可以做我想做的任何事情。如果我向它發(fā)送class
消息，它會(huì)返回它的class類型：
t class
如果我向它發(fā)送value
消息，它會(huì)運(yùn)行，會(huì)在Transcript里留下“Hello World”字符：
t value
讓我們多看幾段程序。一個(gè)沒有任何參數(shù)的消息：
10 printString
帶有一個(gè)參數(shù)的消息：
10 printStringBase: 2
帶有兩個(gè)參數(shù)的消息：
10 printStringBase: 2 nDigits: 10
很可愛，不是嗎？這個(gè)方法叫做printStringBase:nDigits:
。我沒在其它地方見過這樣的語(yǔ)法；只有Objective-C是個(gè)例外，因?yàn)樗菑腟malltalk承襲過來的。
小玩意已經(jīng)說的不少了，現(xiàn)在說點(diǎn)復(fù)雜點(diǎn)兒的東西。我們來創(chuàng)建一個(gè)類：
Object subclass: #MyClass instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'Pupeno'
注意，一個(gè)類的創(chuàng)建是通過向其它類發(fā)送消息—包括名字和一些參數(shù)，告訴它我要繼承它。這是一個(gè)消息，跟其它類型的方法調(diào)用一樣。對(duì)象是類，類也是對(duì)象。Smalltalk的對(duì)象模式非常的優(yōu)雅，但這是另外一個(gè) 話題。
現(xiàn)在我們有了一個(gè)類，我們來創(chuàng)建一個(gè)方法，叫做greet：就在這個(gè)類里。
greet: name "Greets the user named name" | message | message := 'Hello ', name. Transcript show: message.
在方法定義里，首先我們給這個(gè)方法加了一個(gè)注釋，然后是管道 (“|”)包著的本地變量，然后是方法的實(shí)現(xiàn)，我把”Hello“放到了變量message里，然后用逗號(hào)符把它和變量name連接起來。然后我把它發(fā)送到Transcript里。
運(yùn)行起來的結(jié)果像這樣：
好了，我們來用一用它：
m := MyClass new.m greet: 'Pupeno'
為了創(chuàng)建一個(gè)類MyClass
的對(duì)象，我們向這個(gè)類發(fā)送new
消息。這個(gè)new
并不是像Java里的關(guān)鍵字。new
是一個(gè)方法。你可以看它的源代碼，覆蓋它，等等。不要?jiǎng)铀悄闶智宄阍谧鍪裁础?br> 事實(shí)上，如果你想一下，你會(huì)發(fā)現(xiàn)我們沒有看到任何的關(guān)鍵字。看看我們寫過的這些代碼，沒有什么要記住的關(guān)鍵字！更重要的，目前為止，你已經(jīng)基本的認(rèn)識(shí)Smalltalk了。Smalltalk就是這些，但就像是一個(gè)小積木塊，這些小塊能讓你搭建出你想要的任何東西。
不錯(cuò)，就這些，我要說的就這些。我們看到了，Smalltalk里沒有循環(huán)，它有整數(shù)類，這個(gè)類里實(shí)現(xiàn)了timesRepeat:
消息，可以用來把事情重復(fù)執(zhí)行N次。像這樣用于循環(huán)操作的方法到處都是。
你會(huì)問，有沒有if
這個(gè)關(guān)鍵字？Smalltalk里肯定有一個(gè)if
關(guān)鍵字，不是嗎？不，沒有。你所謂的if
語(yǔ)法在Smalltalk里可以用你剛才看到的類和消息傳遞的機(jī)制實(shí)現(xiàn)。為了好玩，我們來實(shí)現(xiàn)一個(gè)。
我們從創(chuàng)建一個(gè)PBoolean
類開始，然后兩個(gè)繼承它的類——PTrue
和 PFalse
。
Object subclass: #PBoolean instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'Pupeno'PBoolean subclass: #PTrue instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'Pupeno'PBoolean subclass: #PFalse instanceVariableNames: '' classVariableNames: '' poolDictionaries: '' category: 'Pupeno'
我們之前創(chuàng)建了一個(gè)類，MyClass，我們要給它定義一個(gè)equals:
方法，它能返回true和false，也就是我們的PTrue
和 PFalse
。
equals: other ^ PTrue new
這個(gè)小帽子，^
，是返回的意思。我寫的是硬編碼讓它返回true。現(xiàn)在我們可以在程序來用它了：
m1 := MyClass new.m2 := MyClass new.m1 equals: m2
得到的是true。我們已經(jīng)接近目標(biāo)了，但還不是if
。if
應(yīng)該是個(gè)什么樣子？它的樣子應(yīng)該是這樣：
m1 := MyClass new.m2 := MyClass new.(m1 equals: m2) ifTrue: [ Transcript show: 'They are equal'; cr] else: [ Transcript show: 'They are false'; cr]
估計(jì)你在想，怎么才能實(shí)現(xiàn)這樣的效果。我在PTrue
里加入了一個(gè)方法：
ifTrue: do else: notdo ^ do value
這個(gè)方法看上去是接受2個(gè)參數(shù)，但執(zhí)行時(shí)接受第一個(gè)，忽略第二個(gè)。對(duì)于PFalse
，正好相反：
ifTrue: notdo else: do ^ do value
這就可以了。一個(gè)可以用的if
！如果讓我說，我覺得這真的很神奇。如果你去檢查Squeak了的代碼，你會(huì)發(fā)現(xiàn)它里面的if
就是這樣實(shí)現(xiàn)的：
如果你使用的編程語(yǔ)言能允許你創(chuàng)建像if條件這樣的基本功能，那它就可以讓你創(chuàng)建任何你想要的東西。
