跳转到内容

语法与语义

上下文无关文法与 BNF、抽象语法树、操作语义与指称语义的直觉。本章用一个小表达式语言展示从文法到解释器的完整过程,说明”语法糖”与”核心语言”的关系。

  • 语法定义合法的程序,语义定义程序的含义
  • AST 是编译器所有阶段的中间表示
  • 大多数语言特性都能脱糖为少数核心构造