Unit 4：解释器与高级主题

本单元把镜头转向语言自身：实现一个元循环求值器，看清 eval 与 apply 的舞蹈；学习分析与执行分离、正规序与应用序、惰性求值；随后涉足逻辑编程的查询系统，以及并发编程中的串行化器、互斥锁与 MapReduce。另设 Python 专题，覆盖基本数据类型、字典与记忆化、惰性求值与生成器。

本章节目录

• 第 11 章 元循环求值器 —— eval 与 apply 的实现、运行求值器，以及用同一思想实现 Python 解释器。
• 第 12 章 分析求值器与惰性求值器 —— 分析执行分离、正规序与应用序、惰性求值解释器、作为惰性列表的流。
• Python 专题：入门、记忆化与惰性 —— Python 基本数据类型、变量与定义、控制流、字典与记忆化、惰性求值与生成器。
• 第 13 章 逻辑编程 —— 什么是逻辑编程、查询系统如何工作、逻辑编程与数学逻辑的关系、查询系统的实现。
• 第 14 章 并发与 MapReduce —— 并行性、串行化器、并发编程的注意事项、互斥锁与 MapReduce。
• 项目 4：Schython —— 综合运用解释器知识，实现一个支持惰性求值等特性的 Python 子集。