肯特·迪布维格的编译器作品 | AI生成和翻译
问题：Kent Dybvig 关于编译器的书有哪些？
答案：
R. Kent Dybvig 是一位著名的计算机科学家，以其在 Chez Scheme 实现方面的工作而闻名，他没有撰写专门针对编译器的独立书籍。然而，他的著作和研究与编译器设计紧密相关，尤其是在 Scheme 编译器开发方面。他在这一领域的主要贡献是学术论文和教育材料，而非传统的教科书。以下是相关主要作品的摘要：
主要书籍
- The Scheme Programming Language (4th Edition) (《Scheme 编程语言（第4版）》) (2009，MIT Press) 这是 Dybvig 的旗舰书，既是 Scheme（一种 Lisp 方言）的入门，也是一本全面的参考书。它详细讨论了 Scheme 的语义、实现策略以及与编译器相关的主题，如续体、宏和代码生成。虽然它不是一本纯粹的编译器教科书，但它涵盖了实现 Scheme 编译器的实际方面，借鉴了 Dybvig 在 Chez Scheme 方面的经验。它常用于高级编程和编译器课程。
关于编译器的主要论文和教育作品
Dybvig 以编译器为重点的贡献主要体现在同行评审论文和课程材料中，强调“nanopass”框架——一种模块化、增量式的编译器构建方法，对教育和实践影响深远：
- A Nanopass Framework for Compiler Education (《编译器教育的 Nanopass 框架》) (2004，ICFP；2007 年在《Journal of Functional Programming》扩展) 与 Dipanwita Sarkar 和 Oscar Waddell 合著。介绍了用于教授编译器的 nanopass 基础设施，将过程分解为小而易于管理的若干遍。该框架最初用于教育，但后来被证明对 Chez Scheme 等生产编译器来说是高效的。
- A Nanopass Framework for Commercial Compiler Development (《商业编译器开发的 Nanopass 框架》) (2013，ICFP) 与 Andrew W. Keep 合著。展示了 nanopass 方法在实际编译器中的可伸缩性，反驳了早期对效率的担忧。它详细介绍了使用这种方法重写 Chez Scheme 的过程。
- Compiler Construction Using Scheme (《使用 Scheme 构建编译器》) (1995，Springer Lecture Notes in Computer Science) 与 Daniel P. Friedman 合著。描述了一门关于构建一个生成原生汇编代码的 Scheme 编译器的课程，重点关注真实架构的实际实现。
这些作品源于 Dybvig 在印第安纳大学教授的 P523（编译器构建）课程，学生在该课程中递增地构建多个编译器——通常在一个学期内构建 15 个“nanopass”版本——使用 Scheme。这种方法将清晰性和模块化置于单一设计之上。
对于动手学习，Dybvig 的材料可通过印第安纳大学的资源获取，他的 nanopass 框架启发了 Racket 编译器教育中使用的工具。如果您对 Scheme 实现感兴趣，请从《The Scheme Programming Language》一书入手，因为它提供了基础性的见解。
参考文献：
- R. Kent Dybvig - Wikipedia
-
[My First Fifteen Compilers SIGPLAN Blog](https://blog.sigplan.org/2019/07/09/my-first-fifteen-compilers/) - dblp: R. Kent Dybvig
- The Scheme Programming Language, fourth edition: Amazon
-
[Compiler construction using scheme SpringerLink](https://link.springer.com/chapter/10.1007/3-540-60675-0_49)