第 4 部分 · Language Design
Racket 最独特的能力——用宏和 #lang 创造新的编程语言。从 DSL 理念到类型系统,掌握语言设计的核心思想。
理解 Racket 语言导向编程的核心理念。
掌握宏的高级技巧:syntax-case、syntax-parse 和编译期计算。
从零开始创建一个完整的 `#lang` 语言实现。
探索 Typed Racket,理解渐进类型系统在 Racket 中的实现。
综合运用宏和语言创建技术,设计并实现一门领域特定语言。