Dijkstra 1978 年论“自然语言编程”的荒谬之处

Dijkstra 在 EWD667 中论证用自然语言编程的设想不可取：形式符号只需满足少量简单规则即可排除无意义内容，而母语便于说出谬误不明显的语句。他援引希腊数学困于 verbal 传统、代数因回归修辞风格而衰亡等历史，认为改换接口会增加两侧的工作量，并猜测用母语编程的机器难造也难用。