Programación informática y sintaxis
Capturas de pantalla
Mientras estaba en la universidad, vi un artículo sobre Euphoria escrito por Glauberman y Katz que afirmaba que la sintaxis de Euphoria estaba estrechamente relacionada con la de Coq. Glauberman y Katz siguen afirmando que su sintaxis es un superconjunto de la semántica de Coq y que su modelo de sintaxis, es decir, un modelo de desarrollo rápido es más consistente con el lenguaje natural que otros modelos. Además, afirman que su sintaxis está muy influenciada por el modelo de desarrollo rápido empleado por John McCarthy, aunque admiten que su sintaxis no es estrictamente natural. Después de leer un artículo de Fried sobre la sintaxis con vistas a desarrollar una gramática de las lenguas naturales, no estuve de acuerdo con ellos; consideré que Richard Barrow y John McCarthy habían hecho verdaderos progresos en la lingüística de la sintaxis. Cuando se negaron a publicar el trabajo que presenté, creo que Glauberman y Katz tenían razón al afirmar que influyeron en el mismo desarrollo de la sintaxis que decían favorecer.
Los tres libros de Tilden describen diferentes modelos de sintaxis para los lenguajes que utilizan la euforia, y todos ellos encajan cómodamente en un marco más amplio de ideas llamado teoría de programas. Esta teoría se ocupa de cómo formular una estructura gramatical para una lengua y cómo analizarla gramaticalmente utilizando estructuras sintácticas diseñadas para ser lo suficientemente flexibles como para adaptarse a los cambios en los modelos de sintaxis utilizados por los hablantes de la lengua. Creo que hay una conexión interesante entre las afirmaciones de los autores sobre la sintaxis y el uso de la sintaxis en la programación informática. Parece que los programadores que utilizan la sintaxis pueden ser propensos a tener una euforia de sintaxis de programa, y que esto también puede conducir a errores en su uso de la sintaxis, ya que se acostumbran a tener los resultados deseados en sus programas.
