Dijkstra 1978 年文章《论"自然语言编程"的愚蠢》核心论点

Dijkstra 在 1978 年文章《On the foolishness of "natural language programming"》中指出，自然语言并非更易用的编程接口，恰恰相反，正式符号系统的"形式约束"才是消除歧义、避免无意义表述的关键。