Summary 封面 1. 引言 2. 本书有关语法解析的一切 3. 解释器初窥 4. 初试去语法糖 5. 添加函数 6. 从替换模型到环境模型 7. 任意位置的函数 8. 可变结构体和变量 9. 递归和循环：子程序与数据 10. 对象 11. 内存管理 12. 表示层抉择 13. 语言中支持去语法糖 14. 控制指令 15. 静态地检查程序中的不变量：类型 16. 动态地检查程序中的不变量：契约 17. 其他调用语义