Generators in lone lisp
来源: matheusmoreira.com | 作者: Matheus Moreira
核心内容
本文详细介绍了在 Lone Lisp（一个自定义 Lisp 方言）中实现生成器（generators）的完整技术路径，从 delimited continuations 到 coroutines 再到 semicoroutines。
关键洞察： Delimited continuations 太强大，需要 memcpy 开销。生成器的目标是生成值（迭代），这是热路径，不应该复制整个栈。
技术演进
- Delimited Continuations： 强大但需要 memcpy 整个栈，开销太大，不适合迭代热路径
- Coroutines： 独立的栈可以自由切换，而非复制。多个协程并发运行但不并行，一次只有一个活跃
- Semicoroutines（生成器）： 限制协程只能将控制权返回给调用者，简化实现。跟踪 caller stack 而不是任意切换
实现细节
生成器结构包含：
- function: 要执行的函数
- own stack: 生成器自己的栈
- caller stack: 调用者的栈（用于恢复）
为什么重要
生成器是迭代的基础，在 Python、JavaScript 等语言中广泛使用。理解其底层实现有助于：
- 设计自己的 DSL 或编程语言
- 优化迭代性能
- 深入理解协程和栈切换机制
这是系统编程和语言实现领域的深度技术文章，适合想了解底层机制的开发者。