十年后还会是这样，因为人家60年前已经知道是这样了

十年前是这样，十年后的今天是这样，并没有任何一丝改变，

所以10年后还是会五花八门的，开源救不了我们， 因为人家60年前已经知道是这样了。

————————————————————————————————————————————

Dijkstra（结构设计编码之父）的名言今天仍有现实意义

Dijkstra的主要贡献是在上个世纪五十年代末到七十年代初，也就是他二十多岁到四十岁出头这段时间完成的。回忆这些过去的成就是想强调：洞察力对一个科学家是何等的重要! Dijkstra获图灵奖以后，软件领域又涌现出图形用户界面、面向对象技术等一系列新的里程碑，因特网更是带来一个全新的时代。但是三十年前Dijkstra关于程序可靠性的一些名言至今仍有意义：

“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障引入。”

“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的。”

Dijkstra大力鼓吹程序正确性证明，但这一方法离实用还有相当距离，因为一段源程序的正确性证明的文字往往比源代码还要长，所以充分的软件测试今天仍不可或缺。但是程序员的科学训练是十分重要的，有人曾做过一个试验：一个题目由一批印度程序员编程，其结果惊人地相似；而由一批中国程序员来做，编出的程序五花八门。中国的软件人员有时把创造性放在不恰当的地方。只有规范的科学的编程，一个大项目才能得到有效的管理，其质量才有保证。