Computerprogrammierung und Syntax
Screenshots
Während meines Studiums sah ich einen Artikel über Euphoria von Glauberman und Katz, die behaupteten, dass die Syntax von Euphoria eng mit der von Coq verwandt sei. Glauberman und Katz behaupten weiter, dass ihre Syntax eine Obermenge der Semantik von Coq ist und dass ihr Modell der Syntax, d.h. ein Modell der schnellen Entwicklung, besser mit der natürlichen Sprache übereinstimmt als andere Modelle. Sie behaupten ferner, dass ihre Syntax stark von dem von John McCarthy verwendeten Modell der schnellen Entwicklung beeinflusst ist, obwohl sie zugeben, dass ihre Syntax nicht streng natürlich ist. Nach der Lektüre eines Aufsatzes von Fried über die Syntax im Hinblick auf die Entwicklung einer Grammatik natürlicher Sprachen war ich anderer Meinung als sie; ich war der Meinung, dass Richard Barrow und John McCarthy echte Fortschritte in der Linguistik der Syntax erzielt hatten. Als sie es ablehnten, die von mir eingereichte Arbeit zu veröffentlichen, haben Glauberman und Katz meiner Meinung nach zu Recht behauptet, dass sie genau die Entwicklung der Syntax beeinflusst haben, für die sie sich aussprachen.
Die drei Bücher von Tilden beschreiben alle verschiedene Modelle der Syntax für Sprachen, die Euphorie verwenden, und sie passen alle bequem in einen größeren Rahmen von Ideen, der Programmtheorie genannt wird. Diese Theorie befasst sich damit, wie man eine grammatische Struktur für eine Sprache formuliert und wie man sie grammatisch analysiert, indem man syntaktische Strukturen verwendet, die so flexibel sind, dass sie sich an Änderungen der von den Sprechern der Sprache verwendeten Syntaxmodelle anpassen können. Ich denke, dass es eine interessante Verbindung zwischen den Behauptungen der Autoren über die Syntax und der Verwendung der Syntax in der Computerprogrammierung gibt. Es scheint, dass Programmierer, die Syntax verwenden, anfällig für Syntaxeuphorie sind, und dass dies auch zu Fehlern bei der Verwendung der Syntax führen kann, da sie sich daran gewöhnen, die gewünschten Ergebnisse in ihren Programmen zu erzielen.
