On the foolishness of “natural language programming”
The virtue of formal texts is that their manipulations, in order to be legitimate, need to satisfy only a few simple rules; they are, when you come to think of it, an amazingly effective tool for ruling out all sorts of nonsense that, when we use our native tongues, are almost impossible to avoid.
Der Vorteil formaler Texte besteht darin, dass ihre Manipulationen, um legitim zu sein, nur wenige einfache Regeln erfüllen müssen. Wenn man darüber nachdenkt, sind sie ein erstaunlich wirksames Mittel, um alle möglichen Unsinnigkeiten auszuschließen, die sich bei der Verwendung unserer Muttersprachen kaum vermeiden lassen.
(Quelle: Edsger W.Dijkstra)