C,C++,Python等,这些算是传统的语言吧,我从这些语言上学会了基本的编程技术。这之后,又有四种语言,它们让我学到了一些新的东西。这些语言改变了我思考的模式,虽然我从来没有使用过它们,但它们都是绝对值得你学习一下的。它们是:
- Smalltalk
- Lisp
- Erlang
- Haskell
我的目的并不是教大家怎么使用Smalltalk,而是向你展示一些Smalltalk能做到、而其它语言做不到的一些事情(声明:有些语言也能做到,它们都是Smalltalk的一些方言)。不用说,我需要向你先介绍一下这种语言的一些基本知识,之后我才能向你展示更有价值的东西,那么就开始吧,第一个程序:
1 + 1很显然,计算的结果是2.如果你想把它存到一个变量里,这样做:
m := 1 + 1句子都要以点号(句号)结尾,像这样:
m := 1.在Squeak——这是Smalltalk语言的一种版本实现——里,有一个对象叫做Transcript,你把消息发送给它,它能把消息显示到屏幕上。它很像一个Log窗口。你要这样去用它:
m := m + 1
Transcript show: 'Hello world'运行的效果会是这样:
Smalltalk的这种语法非常的独特。消息(message)——这在其它语言里也叫做“方法”——是
show:
(包括冒号),它接受一个参数。我们用下面的写法可以让这个句子运行10遍:10 timesRepeat: [现在你开始能看出Smalltalk的独特之处了。我把消息
Transcript show: 'Hello world'
]
timesRepeat:
发送到对象“10”——一个Integer
类。这N次的循环操作是由这个Integer
来执行的,你认真想想,其实很有道理。第二个有趣的部分是代码段落(block),是在方括号里面的部分。你可能认为它跟其他种语言里的代码段落语法是同样的道理,比如Java的:
for(int i=1; i<11; i++){但你要是从Smalltalk的视角来看,你会发现它强大的多。它实际上是个闭包(closure)。看这段:
System.out.println("Hello world");
}
t := [现在,我有了一个叫做
Transcript show: 'Hello world'
]
t
的变量,它的类型是BlockClosure
,通过这个变量,我可以做我想做的任何事情。如果我向它发送class
消息,它会返回它的class类型:t class如果我向它发送
value
消息,它会运行,会在Transcript里留下“Hello World”字符:t value让我们多看几段程序。一个没有任何参数的消息:
10 printString带有一个参数的消息:
10 printStringBase: 2带有两个参数的消息:
10 printStringBase: 2 nDigits: 10很可爱,不是吗?这个方法叫做
printStringBase:nDigits:
。我没在其它地方见过这样的语法;只有Objective-C是个例外,因为它是从Smalltalk承袭过来的。小玩意已经说的不少了,现在说点复杂点儿的东西。我们来创建一个类:
Object subclass: #MyClass注意,一个类的创建是通过向其它类发送消息—包括名字和一些参数,告诉它我要继承它。这是一个消息,跟其它类型的方法调用一样。对象是类,类也是对象。Smalltalk的对象模式非常的优雅,但这是另外一个话题。
instanceVariableNames: ''
classVariableNames: ''
poolDictionaries: ''
category: 'Pupeno'
现在我们有了一个类,我们来创建一个方法,叫做greet:就在这个类里。
greet: name在方法定义里,首先我们给这个方法加了一个注释,然后是管道(“”)包着的本地变量,然后是方法的实现,我把”Hello“放到了变量message里,然后用逗号符把它和变量name连接起来。然后我把它发送到Transcript里。
"Greets the user named name" message
message := 'Hello ', name.
Transcript show: message.
运行起来的结果像这样:
好了,我们来用一用它:
m := MyClass new.为了创建一个类
m greet: 'Pupeno'
MyClass
的对象,我们向这个类发送new
消息。这个new
并不是像Java里的关键字。new
是一个方法。你可以看它的源代码,覆盖它,等等。不要动它,除非你十分清楚你在做什么。事实上,如果你想一下,你会发现我们没有看到任何的关键字。看看我们写过的这些代码,没有什么要记住的关键字!更重要的,目前为止,你已经基本的认识Smalltalk了。Smalltalk就是这些,但就像是一个小积木块,这些小块能让你搭建出你想要的任何东西。
不错,就这些,我要说的就这些。我们看到了,Smalltalk里没有循环,它有整数类,这个类里实现了
timesRepeat:
消息,可以用来把事情重复执行N次。像这样用于循环操作的方法到处都是。你会问,有没有
if
这个关键字?Smalltalk里肯定有一个if
关键字,不是吗?不,没有。你所谓的if
语法在Smalltalk里可以用你刚才看到的类和消息传递的机制实现。为了好玩,我们来实现一个。我们从创建一个
PBoolean
类开始,然后两个继承它的类——PTrue
和 PFalse
。Object subclass: #PBoolean我们之前创建了一个类,MyClass,我们要给它定义一个
instanceVariableNames: ''
classVariableNames: ''
poolDictionaries: ''
category: 'Pupeno' PBoolean subclass: #PTrue
instanceVariableNames: ''
classVariableNames: ''
poolDictionaries: ''
category: 'Pupeno'
PBoolean subclass: #PFalse
instanceVariableNames: ''
classVariableNames: ''
poolDictionaries: ''
category: 'Pupeno'
equals:
方法,它能返回true和false,也就是我们的PTrue
和 PFalse
。equals: other这个小帽子,
^ PTrue new
^
,是返回的意思。我写的是硬编码让它返回true。现在我们可以在程序来用它了:m1 := MyClass new.得到的是true。我们已经接近目标了,但还不是
m2 := MyClass new.
m1 equals: m2
if
。if
应该是个什么样子?它的样子应该是这样:m1 := MyClass new.估计你在想,怎么才能实现这样的效果。我在
m2 := MyClass new.
(m1 equals: m2) ifTrue: [
Transcript show: 'They are equal'; cr
] else: [
Transcript show: 'They are false'; cr
]
PTrue
里加入了一个方法:ifTrue: do else: notdo这个方法看上去是接受2个参数,但执行时接受第一个,忽略第二个。对于
^ do value
PFalse
,正好相反:ifTrue: notdo else: do这就可以了。一个可以用的
^ do value
if
!如果让我说,我觉得这真的很神奇。如果你去检查Squeak了的代码,你会发现它里面的if
就是这样实现的:如果你使用的编程语言能允许你创建像if条件这样的基本功能,那它就可以让你创建任何你想要的东西。
最新评论