图灵奖得主Dijkstra谈Haskell和Java

2001年，出生于荷兰的计算机大师、 图灵奖得到者Edsger W. Dijkstra给德州大学预算委员会写信，力劝不要将计算机入门课程改成Java。这封信的PDF版能够从这里下载。不幸的是，学校最终仍是用Java课程替换了Haskell。相关联的，麻省理工的计算机程序结构和分析课程(6.01)中的Scheme语言也被Python语言替换掉。

致预算委员会成员

我写这封信给大家是由于有谣言说，大学教学中的计算机入门课程将再也不使用函数式编程语言Haskell，而是使用命令式语言Java，鉴于此，我认为预算委员会有责任去阻止这项错误的决定。

大家知道，这不是小事。其它州的同行常常好奇于我如何能在德州奥斯汀这样的地方生存下来，他们都觉得德州顽固的保守主义必然造就了一样顽固的平庸。个人回答一般是，“不要担忧，教育系统仍是一个比较开明的地方，例如在计算机入门课程上，咱们教新生Haskell语言”；他们的反应起初一般都是怀疑，而后是嫉妒——大可能是由于他们的大学课程没法再从Pascal语言向C++或Java这样的语言的转变中恢复回来。

我偏心函数式编程的一个很是现实的缘由是，对于新生的课程，大多数学生都已经对命令式编程有必定的熟悉。让他们面对新奇的函数式编程，能当即传达一个信息：编程比他们想象的要丰富的多。而且，他们很快就会观察到，对于他们用高中时学到的编程知识很难表达或没法表达的问题，函数式编程能提供优雅的解决方案。

而选择函数式编程的一个最根本的缘由是，相比起命令式编程语言，它更容易当成数学对象来使用，在教学中你能够用它精确的解释程序是什么。另一个优点是函数式编程的“延迟执行(lazy evaluation)”，它提供了一个环境来防止操做性的推理。

最后，在Haskell语言跟Java的具体方面对比中，尽管Haskell不完美，但仍然比Java好几个数量级，Java就是一个大杂烩(它是经过大范围的广告和销售员夸张的宣传才达到它的商业接受)。总得来讲，这事很是的糟糕，业界把有目共睹的低劣的设计看成了“事实”标准。我我的的认为，大学里应该让更健康的编程方式存在。

不单单是小提琴能塑造小提琴家，咱们全都被咱们使用的工具塑造，而在编程语言方面，影响是潜移默化的：它们塑造咱们思考的习惯。这使得第一种编程语言的选择很是的重要。咱们应该把入门课程当成一种工具来创造一种为计算机科学教学服务的文化，而不是去强迫丢掉过去的那些知识(若是非要这样，那咱们的过去算是什么，成了永远的遗物)。这种选择担负着对咱们的大学生的沉重责任，这也就是为何这种事不能让某个什么主席来决定，而是应该由预算委员会来决定。这种事情不能让什么公务员或政客办理，这里须要有远见的政治家。

Austin, 12 April 2001

Edsger W. Dijkstra

1. On the cruelty of really teaching computing science
2. Real mathematicians don’t prove

---

原文 Dijkstra on Haskell and Java
翻译 外刊IT评论