E.W.Dijkstra Archive: On the foolishness of "natural language programming". (EWD 667)
Authors: Unknown authors
Notes
2026年4月21日 17:03
Page: 2
形式文本的优点在于，为了使其操作合法，只需满足少数几条简单规则即可；细想之下，它们是一 种极其有效的工具，能够排除各种无稽之谈，而这些无稽之谈在使用我们的母语时几乎无法避免。
record
2026年4月21日 17:03
Page: 2
我深思熟虑后的猜测是，历史在某种意义上将会重演，而计算机科学 将主要由一门真正的‘黑魔法’构成——即如何从那里引导出一个足够定义良好的形式系统。
record
2026年4月21日 17:03
Page: 1
一个显著的改进是，现在许多愚蠢的错误会导致错误信息，而不 是错误答案。
record
Generated by Freddie