为何自然语言编程是愚蠢的

The foolishness of "natural language programming" (1978)

自计算机诞生之初，就有人抱怨编程需要像使用形式符号那样严谨，并期待机器能像人一样理解自然语言，自动纠正明显的错误。然而，EWD 667 指出，这种想法忽视了形式符号的核心价值：它们通过简单的规则有效排除了自然语言中难以避免的无意义内容。从希腊数学到现代代数的发展史证明，正是形式化符号系统让人类摆脱了语言的模糊性。试图用母语编程不仅无法简化人类的生活，反而会因为接口复杂化而大幅增加工作负担。真正的便利在于掌握形式符号，而非逃避它。