在编程的世界里,语言纷繁多样,而大部分真正广泛流行的语言并不是那些学术界的产物,而是在通过自由发挥设计出来的。
和那些在最后期限重压下产生的语言版本比较起来,从一定程度上来看,从学术界产生出来的编程语言是失败的。当然,并不是全部。事实早已证明。本文作者Cristina Videira Lopes是一位来自加州大学欧文分校的权威计算机科学家,下面是她的关于编程语言的研究:
开发者喜欢用的语言:
- PHP – 1994年由Rasmus Lerdorf 设计。“最初设计PHP的目的只是用在他的网络简历上来追踪访问者的,他将它命名为‘个人主页工具’,通常简称为‘PHP工具’。”根据langpop.com的非正式调查,它是排名第四流行的编程语言。
- JavaScript – 1995年Brendan Eich开始使用。“JS(JavaScript)看起来有点儿像Java,更确切地说,像Java傻傻的弟弟一样。在10天里我只能这样做,否则就会出现比JS更糟糕的东西。”归功于网络编程,JS可能已经成为目前最流行的编程语言。
- Python – 大约在1990年由Guido van Rossum设计。“我当时只是想找一个感兴趣的编程项目来打发下圣诞节假期的无聊。”(第六流行的编程语言)
- Ruby – 大约在1994年由Yukihiro “Matz” Matsumoto设计。“我只是想有一种语言可以比Perl更强大,比Python更好地面向对象,就是这促使我去设计我自己的语言。”
相对的,由那些热衷于内部一致性和正确性的学术派设计的语言却包括了一堆濒死的语言(mostly dead tongues):Fortran, Cobol, Lisp, C 以及Smalltalk。唯一的例外是.NET平台的编程语言和Java,这两项分别由微软和Sun公司花费相当大的投资才出来的项目。
回顾这一历史,以及自己的学术生涯,Lopes觉得象牙塔里创造不出适合人们使用的语言是因为其把编程当成一种科学,而实际上,它更是一种设计。
——我非常想把设计带入到我的日常生活中,我喜欢让我的学生投入到诸如程序语言和程序环境这样的设计中去——在这领域,我有很多想法。我相信对于设计的评估标准是不同于科学和数学的验证的。
Lopes说,实际上,网络迅速地发展也是因为给予了学术界的程序员自由发挥的空间。
——在与科学相违背的一个较好的设计案例就是Tim Berners-Lee向CERN提出的用HTML构建网络的建议。这个建议没有经过任何科学验证。那只是个有趣的关于“信息互联系统”的很好的建议。我甚至可以想象出TB-L的经理当时的想法:“啊,好吧,这个很有趣。他是个聪明人,他需要多少资源,我们就让他做做看,看他能做出什么来。即使最后什么都没有,也没什么大不了的。”TB-L并没有为了这个系统而先写出一份“科学设计的评估报告”,然后“在第二阶段,我们要把它装在很多的机器上”,否则今天这个世界可能会变得大不一样,因为他也许为了那些不需要的证明而陷入黑洞里了。
在程序语言里,这些很多时候可归因为人性:如果他们不好用,他们便不会被广泛采用。正因如此,有的程序语言和完整的系统(如UNIX)在某些人眼中已经被当作计算机病毒看待了。如果可以衡量,这类问题反而会变得困难。正因为是主观的,所以可以通过设计而不是科学来解决。事实上,那些计算机“科学家”仅仅是字面上的“设计者”。毕竟,代码如诗。