Programmation et syntaxe des ordinateurs
Alors que j'étais à l'université, j'ai vu un article sur Euphoria écrit par Glauberman et Katz qui prétendaient que la syntaxe d'Euphoria était étroitement liée à celle de Coq. Glauberman et Katz poursuivent en affirmant que leur syntaxe est un sur-ensemble de la sémantique de Coq et que leur modèle de syntaxe, c'est-à-dire un modèle de développement rapide, est plus cohérent avec le langage naturel que les autres modèles. Ils affirment également que leur syntaxe est fortement influencée par le modèle de développement rapide employé par John McCarthy, bien qu'ils admettent que leur syntaxe n'est pas strictement naturelle. Après avoir lu un article de Fried sur la syntaxe dans le but de développer une grammaire des langues naturelles, je n'étais pas d'accord avec eux ; j'estimais que de réels progrès avaient été réalisés dans la linguistique de la syntaxe par Richard Barrow et John McCarthy. Lorsqu'ils ont refusé de publier l'article que j'avais soumis, je crois que Glauberman et Katz ont eu raison de prétendre qu'ils ont influencé le développement même de la syntaxe qu'ils prétendaient privilégier.
Les trois livres de Tilden décrivent tous différents modèles de syntaxe pour les langues utilisant l'euphorie, et ils s'inscrivent tous confortablement dans un cadre d'idées plus large appelé théorie des programmes. Cette théorie s'intéresse à la façon de formuler une structure grammaticale pour une langue et à la façon de l'analyser grammaticalement en utilisant des structures syntaxiques conçues pour être suffisamment flexibles pour s'adapter aux changements dans les modèles de syntaxe utilisés par les locuteurs de la langue. Je pense qu'il existe un lien intéressant entre les affirmations des auteurs concernant la syntaxe et l'utilisation de la syntaxe dans la programmation informatique. Il semble que les programmeurs qui utilisent la syntaxe peuvent être enclins à avoir une euphorie de la syntaxe des programmes, et que cela peut également conduire à des erreurs dans leur utilisation de la syntaxe, car ils s'habituent à avoir les résultats souhaités dans leurs programmes.
