侃侃那些美丽的编程语言（上）

就侃侃我见过的那些美丽的语言们吧。

IT男好像特别喜欢争论，比如 Windows vs Mac vs Unix, Java vs C# vs C++, Vi vs Emacs， 这些都老生常谈了。甚至如果你弄混了开源与自由软件，自由软件的拥护者会耐心的给你解释：开源并非自由。

我不是计算机专业科班的，但是从小喜欢，一直都是自己四处看各种东西，很多时候并不是考虑实用，因此别人问我：你学这玩意有用么？我也只能一笑了之。这就 是“宅”。有人宅漫画，有人宅美剧，我宅编程语言。你要问，你学这些漫画，能找到工作么？这不是搞笑吗。

好言归正传，想到哪写哪：

要涉猎各种编程语言，有个网站不得不说：链接出处    Tiobe 的语言排行榜。排行榜这玩意就是看个乐呵，从这个榜单出发，可以开始涉猎之旅。

先说手头上立刻想到的： Python, Haskell, Smalltalk

Python ， tiobe排名第7. Python在国外IT界，尤其是非ms派里，已经算是class 1 的语言了。国内这几年发展相当的迅速。话说04年左右，一小撮最早的Python用户组了啄木鸟中文社区，相信国内的Python程序员对这几个名字肯定 不陌生： HD, delphij, zoom.quiet,limodou ....。 目前很多网络公司都在应用，这里面比较出名的像 豆瓣网，大部分代码都是python开发的。

罗嗦完掌故，说说Python语言本身，这门语言很实用，语法上强制缩进是最大特点，混合了OO，FP的一些元素，有非常好用的列表和字典等内置类型，自 带的库很丰富。可以说是一把瑞士军刀。
helloworld:

def main():
    print 'Hello world'
    print [x*x for x in range(10)]

第二个print 里面用了一个 list comperhension ， 中文大概叫列表推倒。其实，这个用法是从 Haskell 里借鉴来的。

下面侃侃 Haskell

Haskell 是一个标准的学院派的语言，一直在学术圈子里面作研究，被研究。话说70年代经历了 Fortran, lisp, prolog, c 等等语言生物大爆炸之后，学术界开始更加关注函数式语言，这块的理论要往前追溯，就要到 lambda演算，Haskell Curry 的逻辑理论，等。我印象里图灵奖得奖演说中，约翰。巴克斯的题目就是： 程序能从冯诺依曼体系中摆脱出来么？ 说的就是函数式语言。 这之后出现了大批实验性质的语言，到了80年代，这些学术界的人觉得这样各自为战太浪费，于是决定合力搞一个语言，这就是 Haskell 的诞生。 Haskell 的名字就来源于 Haskell Curry 这个人。 curry 这个词也很重要，后面会说。

在象牙塔里面悠哉游哉了20来年之后，外面的世界已经翻天覆地了，计算机史上的20年，差不多就像是宋唐演进到明清一般啊。而直到此时，外面的人才逐渐认 识了这个闺中mm。她终于得见天日了。
在去年的 Jolt大奖里， 《Real World Haskell》这本书获得了开发类的大奖，现在中文版已经翻译完成了，具体出版日期就不知道了。

国内的情况么，除了几个爱好者自己研究外到没见过成规模的应用，我一般用作些数据统计之类的。

扯完掌故，谈谈语言本身。

Haskell 的特点就是 纯函数式，强类型，惰性计算。 所谓纯函数式，就是指一个函数不能有IO操作、全局变量操作，对一个特定输入只能有一个特定的输出，无论调用多少次，无论从哪个cpu上调用，也无论在调 用它之前还调用过别的什么，总之只要输入确定了，输出就确定了。各位看官看到这个是不是开始激动了？
我说的激动有两点： 这种特性天生就是为多核和并行准备的啊！想想看，现在什么map reduce啊，不就是把数据扔到多个cpu让去算么，如果语言能保证纯函数式，那么多核会简单很多。
但是，一个纯函数，不能IO操作，那他怎么读文件，怎么print 'hello world' ，怎么写数据库啊？ 别急，Haskell里面有个叫做 Monad的东西，就是干这个的。Monad保证了计算的顺序，也就保证了IO 的实现。
但是要把IO 操作和纯函数严格的隔离开，怎么办呢？ Haskell的另一个特性： 强类型的特性就发挥作用了。

Haskell里面每一个函数和操作都有一个类型签名，整个程序就像是很多个形状不同的拼版，必须形状匹配才能拼装在一起。任何带有副作用的函数，都会带 一个 IO 的类型标签，这个 IO 类型标签就像一个戳，只要带上了， 任何调用它的函数也必须有 IO 标签。明白了么？ 只有带有 IO 类型标签的函数才能调用另一个带有 IO 标签的函数，而在 IO函数内可以调用纯函数， 而反过来，纯函数却不可以调用带有 IO 标签的函数。
好像很绕啊，hello world 登场吧：

fact :: Int -> Int
fact 0 = 1
fact n = n * fact(n - 1)

main :: IO ()
main = print (fact 5)

阶乘函数就是函数式语言里面的 Hello world :) 。 这个fact 函数的类型是 Int -> Int ， 就是输入Int 输出 Int， 在里面不能进行任何的 IO 操作。 而 main 函数是Haskell 的程序入口点，它的类型是 IO () ， 它里面可以调用 print 这个IO类型的函数，也可以调用 fact 这个纯函数。

说完了纯FP 类的，再说说纯OO类的： Smalltalk！
Smalltalk离开大众视线已经很久了，目前重新受到关注，是因为一个web框架： seaside。就像 Ruby on rails 使ruby大红大紫一样， seaside 也一定程度上唤回了一些人对smalltalk的重新关注。
话说Smalltlak 不仅是OO理论的鼻祖，也是现代GUI的开创者。窗口，MVC，设计模式，虚拟机，垃圾回收，block closure 等概念都在smalltalk中发扬光大。smalltalk 就像一座遥远山林中的殿堂，从中走出的思想，影响了 Java，ruby 等后世的语言。

回头看smalltalk，其实它的语法非常的简单， 简单到只需要用一张A4纸就可以全写下来，简略的说，就几条：

1. 所有一切皆对象
2. 对象间通过消息驱动
3. 代码块 block
4. 所有对象都是一个类的实例，类本身也是。

基本没了。


等等，那些选择，循环语句呢？ 没有，真的没有。语法上没有定义那些。这些东西都是对象上的消息, 例如判断语句， 就是 Bool 类型对象上的一个方法：

3 > 4 ifTrue: [do this] ifFalse: [do that].

这个的意思是， 3>4 得到一个Bool类型的对象， bool 对象上有个 ifTrue:ifFalse: 方法，这个方法有两个参数，分别是一个代码块 block， 由这个方法决定如何执行。 循环和这个类似。

看官感觉到激动了么？？！ 我已经激动了。

程序员自己来写语法哦，你可以写出判断，循环，也能写出更复杂的控制逻辑，而且这种定义method的语法，天生就是 DSL (领域特定语言)。所以看现在ruby，java啥啥的整天折腾些 DSL 啊啥的吓唬人，我就暗想，smalltalk800年前就这么玩了。

再说说smalltalk特色的东西，它的 Image 是个不得不说的东西，整个运行环境，就是一个 image， 说白了就是一个虚拟机，所有的对象，所有的代码，和数据都生活在这个Image里面。比如运行到一半，保存关闭，传输到别的机器上。第二天在别的机器上再 打开，还从昨天关的地儿接着跑。

这几个东西，每个要展开都是几本书都讲不完。今天砖抛了，等玉砸过来。