Epigrams on Programming 编程警句 2
Epigrams on Programming 作者是 Alen Jay Perlis ,美国计算机科学家,程序员中的上古巨神,因在编程语言中的早期探索和获得首届图灵奖闻名。
Epigrams on Programming 发表于 ACM SIGPLAN Notices, Volume 17 Issue 9, September 1982
耶鲁大学网站上刊登的本文以 Epigrams in Programming 为题。Epigrams on Programming 比 Epigrams in Programming 多了 10 条 meta-epigram。
正文小标题为译者所加。
Simplicity does not precede complexity, but follows it.
简单不先于复杂,而在复杂之后。
Programmers are not to be measured by their ingenuity and their logic but by the completeness of their case analysis.
应该用案例分析来评价程序员,而不是他们的机智和逻辑。
The 11th commandment was “Thou Shalt Compute” or “Thou Shalt Not Compute”
I forget which.第11条戒律是“你应计算”或“你不应计算”-我忘了。
吐槽:
The 11th commandment 说法来自摩西十诫(Ten Commandments)的。Thou 是古英语 you,shalt 是古英语第二人称 should。
The string is a stark data structure and everywhere it is passed there is much duplication of process. It is a perfect vehicle for hiding information.
字符串是个朴实的数据结构,所有使用它的地方总是出现雷同的处理流程。字符串是信息隐藏的完美工具。
吐槽:
彼时的string一定是pass-by-value的
Everyone can be taught to sculpt: Michelangelo would have had to be taught how not to. So it is with the great programmers.
每个人都能学习雕塑,只有米开朗基罗希望学习过雕塑的禁忌。伟大的程序员同理。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
用程序证明四色定理不会改变数学-这不过证明了,这个持续了一个世纪的挑战,对数学不太重要。
The most important computer is the one that rages in our skulls and ever seeks that satisfactory external emulator. The standardization of real computers would be a disaster - and so it probably won’t happen.
最重要的计算机莫过于那个在我们头颅中咆哮着寻求一个能使它满足的外部模拟器的玩意儿。
而真实电脑的标准化对于这个目的是种灾难,所以它可能永远不会发生。Structured Programming supports the law of the excluded muddle.
结构化编程支持混乱排除定律(排乱律?)。
Law of excluded middle: 排中律,The law of the excluded muddle 模仿的。排中律指对于任何命题P,P或非P一定为真。Re graphics: A picture is worth 10K words - but only those to describe the picture. Hardly any sets of 10K words can be adequately described with pictures.
回复 图形学:一张图片等价于描述图片的一万个字。从一万个字任取一部分都无法用图片充分描述。
There are two ways to write error-free programs; only the third one works.
有两种写出完全正确的程序的方法,其中的第三种有效。
吐槽:
王声老师在文学院四大才子排行第九 - 苗阜