黑客新闻新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 编程语言的语法和语义 (uiowa.edu) 66 分，来自 nill0 1 天前 | 隐藏 | 过去 | 收藏 | 1 条评论 tomhow 1 天前 [–] 评论已移至 https://news.ycombinator.com/item?id=45862591。回复 考虑申请YC冬季2026批次！申请截止至11月10日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索：

这个Hacker News讨论围绕编程语言中**语法**和**语义**的区别，起因是链接到1995年的书籍《编程语言的语法与语义》。 核心争论在于如何定义这两个术语。最初，一位用户难以理解语义的抽象定义，将其理解为定义一个构造的*值*，而不是其*允许性*（语法）。其他人澄清，**语法定义了构成有效程序的条件**（例如，正确的语法），而**语义定义了该有效程序的含义或行为**（它*做什么*）。 对话深入探讨了诸如格式良好性、类型检查（模糊了界限）以及指定语义的正式方法等细微之处。 许多评论者强调，语义可以通过各种方法表达——操作、指称、公理化——并最终关系到程序如何被解释或执行。 一位用户甚至指出了这本书本身，并指出它在语言设计中使用Prolog以及提供PDF版本。 最后，一个话题讨论了设计新的游戏逻辑语言，重点是事件驱动架构和诸如条件环境之类的独特功能。