能把三位大牛的名字都叫出来的人恐怕不多吧:
这三位都是图灵奖获得者,他们的名字和发明散布在各种教科书中,从左到右,依次是:
尼克劳斯·沃斯 (Niklaus Wirth)
瑞士人,一生发明了8种编程语言,其中最著名的是Pascal,提出了著名的“程序=数据结构+算法”,1984年沃斯因开发了一系列创新的计算机语言而获得图灵奖。
迪杰斯特拉(Edsger Dijkstra)
荷兰人,发明了“最短路径算法”,“信号量”,提出了“Goto是有害的”,1972年因对结构化编程的贡献获得图灵奖。
霍尔(Tony Hoare)
英国人,发明了“快速排序算法”,发明了霍尔逻辑来验证程序正确性,提出CSP解决并发过程的交互,发明了null这个引发“数十亿美元”损失的错误,1980年因为对编程语言的定义和设计的基本贡献获得图灵奖。
他们三人都在欧洲,都是从学工程学开始,后来转到了计算机领域。
他们年龄相仿(沃斯和霍尔同岁,比迪杰斯特拉小4岁),共同的兴趣让他们走到一起,不但在暑期活动,学术会议上经常碰面,密切合作,在私下里,也建立了深厚的友谊,经常来回走动,互相拜访。
今天讲几个小故事来聊聊他们的伟大贡献。
迪杰斯特拉率先登场
在上世纪六七十年代,是编程语言发展的黄金时代。
第一个高级编程语言Fortran已经出现,但是主要应用在工程界,和硬件密切相关。
1960年1月,Fortran之父约翰·巴克斯,Lisp之父约翰·麦卡锡,第一位图灵奖获得者Alan Jay Perlis等一大批顶尖科学家在巴黎聚会,经过一番唇枪舌战的讨论,他们推出了ALGOL 60,这是一种和计算机硬件无关的编程语言,方便算法的描述。
ALGOL 60有很多创新,递归、本地变量、begin end 代码块都是由它率先推出。
现代大多数编程语言的语法,都是类ALGOL的。
从下图中,就可以看到ALGOL的江湖地位,是很多编程语言的老祖宗。
图片
迪杰斯特拉对Algol-60非常欣赏,他不止一次说道,这是计算机科学成为一个学科的重要时刻。
仅仅7个月以后,迪杰斯特拉就在荷兰实现了第一个ALGOL60的编译器,比其他小组早了一年多。
为了实现ALGOL60中的递归,迪杰斯特拉第一次引入了Stack这个概念。
迪杰斯特拉等人还举办了一个ALGOL 60的培训班,来培训的就有霍尔,霍尔刚刚发表了快速排序算法,他上完培训班,也在自己公司机器上实现了ALGOL 60,霍尔的实现效率高,可靠性强,受到国际学术界的关注,进入了IFIP工作组,开始维护和发展ALGOL。
PASCAL的诞生
1966年,霍尔和沃斯一起做了一个提案,希望对ALGOL做出一次改进。但是ALGOL小组认为他们的提案太保守,改动太小,拒绝了。
“一气之下”,沃斯和霍尔退出了ALGOL小组,自己把提案的想了做了实现,即编程语言ALGOL W。
正是在ALGOL W 中,霍尔发明了那个被“无数人诟病”的空引用null。
在2009年的一个软件会议上,霍尔为发明null夸张地道歉:
“我当时正在设计ALGOL W 的类型系统,我忍不住想把null放进去,因为它很容易实现......没想到它导致了无数的错误,系统崩溃......在过去的40年,引发了数十亿美元的损失。”
1970年,沃斯进一步改进了 ALGOL W,成为了大名鼎鼎的Pascal
为了帮助在各种计算机上实现Pascal, 他创建了一种新型的编译器,该编译器不会直接生成机器码,而是生成一种中间的代码形式,在虚拟机上运行。
1976年,沃斯写了一本书介绍基本的数据结构和算法,也捎带着介绍了Pascal语法。
这本书的名称也很神奇,叫做《程序=算法+数据结构》,从此这个公式开始名扬世界。
图片
PASCAL的流行
虽然 Pascal 很快就得到了大学的认可,但它又花了几年时间才成为主流。
这得益于Philippe Kahn,是沃斯在瑞士苏黎世联邦理工学院教学期间的一个学生。
图片
Philippe Kahn看到了沃斯教授在Pascal上的开创性工作,1982年成了一家叫做Borland的公司,从事软件开发工具的开发。
1983年,Borland推出了革命性的集成开发环境,Turbo Pascal ,仅卖49.95美元。
图片
Turbo Pascal 除了价格低廉以外,另外一个杀手锏就是编译速度飞快。
操刀编译器的是丹麦人Anders Hejlsberg,他很大程度上受到了《程序=算法+数据结构》这本书中Tiny Pascal”编译器的启发。
关于Anders Hejlsberg的故事,可以看这篇漫画《一个养活了四代程序员的男人》。
Goto是有害的
1968年,迪杰斯特拉向ACM提交了一篇论文,尖锐地批评了当时编程中过度使用Goto语句的情况,以及对结构化编程的拥护,他提议,在高级语言中废除Goto语句!
论文的标题平淡无奇:A Case Against the Goto Statement。
沃斯正好是当时的编辑,他顺手把标题改成了Goto语句是有害的(Goto Statement Considered Harmful)。
如果放在如今的自媒体时代,沃斯绝对是一个擅长抓热点的标题大师。
这个标题就像一个重磅炸弹,很多大牛跳出来,或支持或反对。
高德纳写了一篇叫做《使用 Goto语句进行结构化编程》的文章,分析了一些常见的编程场景,指出一些场景中Goto是最适合的语言结构。
K&R在《C语言编程》中,也指出Goto可以用于函数结束错误处理程序和循环的多级中断。
即使在多年以后,Linus之父Linus Torvalds和《代码大全》的作者Steve McConnell还反对迪杰斯特拉的观点,指出 Goto可以是一种有用的语言功能,可以提高程序速度、大小和代码清晰度。
据统计,2013 年,Linux 内核代码中约有 100,000 个 goto。
“XXX是有害的”成为了计算机的时尚用词,在随后的几十年中不断出现:
“全局变量是有害的”
“Unix风格,或者cat -v 是有害的”
“MD5被认为是有害的”
“以人为本的设计是有害的”
“Java的新特性是有害的”
“‘被认为有害’的文章是有害的”
......
尾声
沃斯,迪杰斯特拉和霍尔都在欧洲,获得图灵奖都和编程语言有关,可以称为欧洲编程语言的三巨头。
他们都是结构化编程的先驱,他们的工作深刻地影响了我们现在的编程。
2002年8月6日,迪杰斯特拉和癌症斗争多年以后,不幸离世,享年72岁。
2024年1月1日,沃斯去世。享年89岁。
三巨头中,只剩下霍尔一位了。
其实,除了这三位之外,欧洲还有一对编程语言双子星,挪威的Ole-Johan Dahl和Kristen Nygaard ,他们发明了面向对象的语言Simula,两人也都于2002年去世。
我们现在使用的编程语言的概念和特性,差不多都在上世纪六七十年代就已发明,那一批编程语言的先驱,都在逐渐老去。
编程语言的黄金时代,过去了。
如需转载,请通过作者微信公众号coderising获取授权。