侃侃那些美丽的编程语言(上) 收藏

此文于2010-05-11被推荐到CSDN首页
此文于2010-05-14被推荐到CSDN首页
如何被推荐?

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

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里面。比如运行到一半,保存关闭,传输到别的机器上。第二天在别的机器上再 打开,还从昨天关的地儿接着跑。

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

发表于 @ 2010年05月11日 15:05:00 |

::...
免责声明:
当前网页内容, 由 大妈 ZoomQuiet 使用工具: ScrapBook :: Firefox Extension 人工从互联网中收集并分享;
内容版权归原作者所有;
本人对内容的有效性/合法性不承担任何强制性责任.
若有不妥, 欢迎评注提醒:

或是邮件反馈可也:
askdama[AT]googlegroups.com


点击注册~> 获得 100$ 体验券: DigitalOcean Referral Badge

订阅 substack 体验古早写作:


关注公众号, 持续获得相关各种嗯哼:
zoomquiet


自怼圈/年度番新

DU22.4
关于 ~ DebugUself with DAMA ;-)
粤ICP备18025058号-1
公安备案号: 44049002000656 ...::