摘要： 语句的语义取决于其语法结构和相关符号；前者说明了了要“做什么”，后者说明了操作“什么对象”。所以即使语法结构正确的，如果被操作的对象不合法，语句也是不合法的。语言一般有很多语义规则，有些是运行时的(dynamic semantics)，比如“不能除以零”、“不能越界访问数组”；有些是编译时的(sta... 阅读全文

摘要： 本章学习一种新的作用域，叫做数据聚合作用域(data aggregate scope)，和其他作用域一样包含符号，并在scope tree里面占据一个位置。区别在于：作用域之外的代码能够通过一种特殊的表达式`user.name`来访问数据成员；以下两个模式分别描述非面向对象语言和面向对象语言的数据聚... 阅读全文