第12章笔记：解释器综合项目

联系

• 确定语言规格：写出结构、语义状态、反例和测试。
• 扫描解析前端：写出结构、语义状态、反例和测试。
• 环境与闭包求值器：写出结构、语义状态、反例和测试。
• 类型检查器集成：写出结构、语义状态、反例和测试。
• 数据与对象扩展：写出结构、语义状态、反例和测试。
• 内存并发和诊断：写出结构、语义状态、反例和测试。
• 发布解释器与答辩：写出结构、语义状态、反例和测试。

练习

以确定语言规格为输入，一直推进到发布解释器与答辩，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第12章笔记：解释器综合项目

联系

• 确定语言规格：写出结构、语义状态、反例和测试。
• 扫描解析前端：写出结构、语义状态、反例和测试。
• 环境与闭包求值器：写出结构、语义状态、反例和测试。
• 类型检查器集成：写出结构、语义状态、反例和测试。
• 数据与对象扩展：写出结构、语义状态、反例和测试。
• 内存并发和诊断：写出结构、语义状态、反例和测试。
• 发布解释器与答辩：写出结构、语义状态、反例和测试。

练习

以确定语言规格为输入，一直推进到发布解释器与答辩，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第12章笔记：解释器综合项目

联系

• 确定语言规格：写出结构、语义状态、反例和测试。
• 扫描解析前端：写出结构、语义状态、反例和测试。
• 环境与闭包求值器：写出结构、语义状态、反例和测试。
• 类型检查器集成：写出结构、语义状态、反例和测试。
• 数据与对象扩展：写出结构、语义状态、反例和测试。
• 内存并发和诊断：写出结构、语义状态、反例和测试。
• 发布解释器与答辩：写出结构、语义状态、反例和测试。

练习

以确定语言规格为输入，一直推进到发布解释器与答辩，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。