计算机编程和语法
截图
Euphoria 由 Michael Fried 翻译并由 Bill Tilden 注释,是 Theodoric Project 的第二本书。在本书中,我们了解了如何使用 Euphoria 作为一个系统来用一种语言(一种编程语言)来表达各种概念。语言本身是一种基于句法、语法和风格的抽象语言。语法包括一些有趣的特征,如名词和标点规则,语法非常强调代词和形容词的使用以及句子的结构和连接方式。 Tilden 对自然语言也有很好的掌握,并展示了如何使用这些语法规则在编程语言中表达自然语言。在大学期间,我看到 Glauberman 和 Katz 写的一篇关于 Euphoria 的论文,他们声称 Euphoria 的语法与 Coq 的语法密切相关。 Glauberman 和 Katz 继续声称他们的语法是 Coq 语义的超集,并且他们的语法模型,即快速开发模型比其他模型更符合自然语言。他们进一步声称他们的语法受到约翰麦卡锡采用的快速发展模型的强烈影响,尽管他们承认他们的语法并不是严格自然的。在阅读了弗里德的一篇关于句法的论文以发展一种自然语言的语法后,我不同意他们的观点。我觉得理查德·巴罗和约翰·麦卡锡在句法语言学方面取得了真正的进步。当他们拒绝发表我提交的论文时,我相信 Glauberman 和 Katz 声称他们影响了他们声称支持的语法的发展是正确的。
Tilden 的三本书都描述了使用 euphoria 的语言的不同语法模型,它们都非常适合称为程序理论的更大的思想框架。该理论关注如何为一种语言制定语法结构,以及如何使用设计得足够灵活以适应该语言使用者使用的语法模型的变化的句法结构对其进行语法分析。我认为作者关于语法的主张与计算机编程中语法的使用之间存在有趣的联系。似乎使用语法的程序员可能容易产生程序语法兴奋,这也可能导致他们在使用语法时出现错误,因为他们习惯于在他们的程序中获得想要的结果。