Smalltalk为什么让我爱不释手?

开发 前端
C,C++,Python等,这些算是传统的语言吧,我从这些语言上学会了基本的编程技术。这之后,又有四种语言,它们让我学到了一些新的东西。这些语言改变了我思考的模式,虽然我从来没有使用过它们,但它们都是绝对值得你学习一下的.

C,C++,Python等,这些算是传统的语言吧,我从这些语言上学会了基本的编程技术。这之后,又有四种语言,它们让我学到了一些新的东西。这些语言改变了我思考的模式,虽然我从来没有使用过它们,但它们都是绝对值得你学习一下的。它们是:

Smalltalk

Lisp

Erlang

Haskell

你也许还会把Prolog加入这个列表中,但我没有学过Prolog。本文是关于Smalltalk这种语言的。

我的目的并不是教大家怎么使用Smalltalk,而是向你展示一些Smalltalk能做到、而其它语言做不到的一些事情(声明:有些语言也能做到,它们都是Smalltalk的一些方言)。不用说,我需要向你先介绍一下这种语言的一些基本知识,之后我才能向你展示更有价值的东西,那么就开始吧,***个程序:

  1. 1 + 1 

很显然,计算的结果是2.如果你想把它存到一个变量里,这样做:

  1. :1 + 1 

句子都要以点号(句号)结尾,像这样:

  1. :1.  
  2. :m + 1 

在Squeak——这是Smalltalk语言的一种版本实现——里,有一个对象叫做Transcript,你把消息发送给它,它能把消息显示到屏幕上。它很像一个Log窗口。你要这样去用它:

  1. Transcript show: 'Hello world' 

运行的效果会是这样:

 

Squeak transcript showing the result of Transcript show: 'Hello World'

 

Smalltalk的这种语法非常的独特。消息(message)——这在其它语言里也叫做“方法”——是show: (包括冒号),它接受一个参数。我们用下面的写法可以让这个句子运行10遍:

  1. 10 timesRepeat: [  
  2.   Transcript show: 'Hello world'  

现在你开始能看出Smalltalk的独特之处了。我把消息timesRepeat:发送到对象“10”——一个Integer类。这N次的循环操作是由这个Integer来执行的,你认真想想,其实很有道理。

第二个有趣的部分是代码段落(block),是在方括号里面的部分。你可能认为它跟其他种语言里的代码段落语法是同样的道理,比如Java的:

  1. for(int i=1; i<11; i++) {  
  2.   System.out.println("Hello world");  

但你要是从Smalltalk的视角来看,你会发现它强大的多。它实际上是个闭包(closure)。看这段:

  1. := [  
  2.   Transcript show: 'Hello world'  

现在,我有了一个叫做t的变量,它的类型是BlockClosure,通过这个变量,我可以做我想做的任何事情。如果我向它发送class消息,它会返回它的class类型:

  1. t class 

如果我向它发送value消息,它会运行,会在Transcript里留下“Hello World”字符:

  1. t value 

让我们多看几段程序。一个没有任何参数的消息:

  1. 10 printString 

带有一个参数的消息:

  1. 10 printStringBase: 2 

带有两个参数的消息:

  1. 10 printStringBase: 2 nDigits: 10 

很可爱,不是吗?这个方法叫做printStringBase:nDigits:。我没在其它地方见过这样的语法;只有Objective-C是个例外,因为它是从Smalltalk承袭过来的。

小玩意已经说的不少了,现在说点复杂点儿的东西。我们来创建一个类:

  1. Object subclass: #MyClass  
  2.        instanceVariableNames: ''  
  3.        classVariableNames: ''  
  4.        poolDictionaries: ''  
  5.        category: 'Pupeno' 

注意,一个类的创建是通过向其它类发送消息—包括名字和一些参数,告诉它我要继承它。这是一个消息,跟其它类型的方法调用一样。对象是类,类也是对象。Smalltalk的对象模式非常的优雅,但这是另外一个 话题。

现在我们有了一个类,我们来创建一个方法,叫做greet:就在这个类里。

  1. greet: name  
  2.   "Greets the user named name"  
  3.  
  4.   | message |  
  5.  
  6.   message :'Hello ', name.  
  7.   Transcript show: message. 

在方法定义里,首先我们给这个方法加了一个注释,然后是管道 (“|”)包着的本地变量,然后是方法的实现,我把”Hello“放到了变量message里,然后用逗号符把它和变量name连接起来。然后我把它发送到Transcript里。

运行起来的结果像这样:

 

MyClass greet method

 

好了,我们来用一用它:

  1. :MyClass new.  
  2. m greet: 'Pupeno' 

为了创建一个类MyClass的对象,我们向这个类发送new消息。这个new并不是像Java里的关键字。new是一个方法。你可以看它的源代码,覆盖它,等等。不要动它,除非你十分清楚你在做什么。

事实上,如果你想一下,你会发现我们没有看到任何的关键字。看看我们写过的这些代码,没有什么要记住的关键字!更重要的,目前为止,你已经基本的认识Smalltalk了。Smalltalk就是这些,但就像是一个小积木块,这些小块能让你搭建出你想要的任何东西。

不错,就这些,我要说的就这些。我们看到了,Smalltalk里没有循环,它有整数类,这个类里实现了timesRepeat:消息,可以用来把事情重复执行N次。像这样用于循环操作的方法到处都是。

你会问,有没有if这个关键字?Smalltalk里肯定有一个if关键字,不是吗?不,没有。你所谓的if语法在Smalltalk里可以用你刚才看到的类和消息传递的机制实现。为了好玩,我们来实现一个。

我们从创建一个PBoolean类开始,然后两个继承它的类——PTrue 和 PFalse。

Object subclass: #PBoolean

  1. Object subclass: #PBoolean  
  2.        instanceVariableNames: ''  
  3.        classVariableNames: ''  
  4.        poolDictionaries: ''  
  5.        category: 'Pupeno'  
  6.  
  7. PBoolean subclass: #PTrue  
  8.        instanceVariableNames: ''  
  9.        classVariableNames: ''  
  10.        poolDictionaries: ''  
  11.        category: 'Pupeno'  
  12.  
  13. PBoolean subclass: #PFalse  
  14.        instanceVariableNames: ''  
  15.        classVariableNames: ''  
  16.        poolDictionaries: ''  
  17.        category: 'Pupeno' 

我们之前创建了一个类,MyClass,我们要给它定义一个equals:方法,它能返回true和false,也就是我们的PTrue 和 PFalse。

  1. equals: other  
  2.   ^ PTrue new 

这个小帽子,^,是返回的意思。我写的是硬编码让它返回true。现在我们可以在程序来用它了:

  1. m1 :MyClass new.  
  2. m2 :MyClass new.  
  3. m1 equals: m2 

得到的是true。我们已经接近目标了,但还不是if。if应该是个什么样子?它的样子应该是这样:

  1. m1 :MyClass new.  
  2. m2 :MyClass new.  
  3. (m1 equals: m2) ifTrue: [  
  4.   Transcript show: 'They are equal'; cr  
  5. ] else: [  
  6.   Transcript show: 'They are false'; cr  

估计你在想,怎么才能实现这样的效果。我在PTrue里加入了一个方法:

  1. ifTrue: do else: notdo  
  2.   ^ do value 

这个方法看上去是接受2个参数,但执行时接受***个,忽略第二个。对于PFalse,正好相反:

  1. ifTrue: notdo else: do  
  2.   ^ do value 

这就可以了。一个可以用的if!如果让我说,我觉得这真的很神奇。如果你去检查Squeak了的代码,你会发现它里面的if就是这样实现的:

 

True's ifTrue:ifFalse:

 

如果你使用的编程语言能允许你创建像if条件这样的基本功能,那它就可以让你创建任何你想要的东西。

原文:http://www.aqee.net/why-i-love-smalltalk/#more-2494

【编辑推荐】

  1. 程序员育儿新工具Small Basic
  2. 2011年4月编程语言排行榜:告别Smalltalk
  3. 谷歌宣布推出Dart编程新语言
  4. 2011下半年Web编程语言和脚本语言的就业趋势
  5. 每一门编程语言都是上辈子折翼的天使
责任编辑:陈贻新 来源: 外刊IT评论
相关推荐

2021-01-18 09:55:46

Spring代码Java

2010-12-08 09:59:10

CSS

2009-08-29 08:41:07

Windows 7新功能

2021-04-25 10:15:38

Python编程语言软件包

2021-04-13 10:07:08

Python软件包编程语言

2011-03-31 14:22:28

Chrome插件

2021-01-24 11:55:40

spring升华代码的技巧开发

2013-05-06 22:52:10

智能手机交互方式用户体验

2011-05-12 09:12:16

Ubuntu 11.0

2017-05-24 18:00:13

AndroidAndroid DatView

2021-01-20 06:29:42

JS工具操作符

2021-12-09 13:30:17

微软

2021-02-02 21:42:30

VS Code编辑器开发

2016-05-05 10:54:53

Android开发应用

2021-01-11 08:21:34

spring升华代码的技巧开发

2020-11-03 15:10:55

Spring Batc框架Java

2011-04-19 09:08:09

web工具项目管理

2021-07-13 10:59:49

Python可视化
点赞
收藏

51CTO技术栈公众号