编译器设计实战：基于Racket的增量式设计

本书将带领读者使用Racket语言动手构建编译器，通过循序渐进的方法，在设计和实现编译器的过程中了解基本概念、算法和数据结构等相关知识。本书将每章作为构建编译器的一个基本“步骤”，逐步为编译器添加功能。全书涵盖变量、寄存器、条件、循环、元组、函数、动态类型、通用类型等内容。本书适合作为高等院校编译原理等课程的教材，也适合相关技术人员参考。

Jeremy G. Siek，印第安纳大学信息与计算学院的计算机科学教授，教授编程、编程语言、编译器、逻辑学和其他计算机科学领域的课程。他设计了新的语言特性来帮助程序员创建和使用软件库和特定于领域的语言，特别是通用的和高性能的语言。通过Walid Taha，他发明了在同一种语言中混合静态和动态类型检查的渐进类型方法。在此之前，他是Boost Graph Library一书的合著者。