从零用 Rust 构建 Lisp 解释器 — 74 步零依赖实战教程
内容提要
该文章介绍了一个用Rust从零构建Lisp解释器的实战教程。项目零外部依赖，核心数据结构基于enum和Rc<RefCell>，实现了词法分析、解析器、闭包、尾调用优化和宏系统等特性。教程包含74个步骤、44张SVG架构图和42个测试用例，中文README约8000行，适合Rust新手学习所有权和类型系统。
延伸解读
为什么用解释器项目学 Rust
文章指出，Rust 学习过程中缺少完整的实战项目，而解释器是练习所有权和类型系统的绝佳载体。在实现过程中，你会遇到真实的借用、克隆、智能指针问题，且每一步都有测试验证正确性。这种项目驱动的方式比单纯看教程更能加深对 Rust 核心概念的理解。
零依赖设计的教学价值
项目刻意保持零外部依赖，连哈希器和字符串驻留都从零实现。这意味着学习者可以阅读每一行代码，没有黑盒。对于初学者，这有助于理解底层机制，但也意味着需要自己处理一些本可用库解决的问题，增加了实现复杂度。
与其他教程的定位差异
文章对比了 Crafting Interpreters、mal 和 SICP，强调本教程面向零基础，采用单遍 tree-walk 实现，每步先讲为什么再写代码。与 mal 只给测试用例不同，本教程注重解释设计决策。但需注意，它并非生产级实现，优化步骤仅为教学演示。
Q&A
如何用 Rust 从零构建一个 Lisp 解释器？
文章提供了一个 74 步的实战教程，从零开始用 Rust 构建一个 Lisp 解释器，零外部依赖，涵盖词法分析、解析器、闭包、尾调用优化和宏系统等特性。教程包含 44 张 SVG 架构图和 42 个测试用例，中文 README 约 8000 行。
这个 Rust Lisp 解释器项目有哪些特点？
项目特点包括：零外部依赖，核心数据结构基于 enum 和 Rc<RefCell>，实现了词法分析、解析器、闭包、尾调用优化和宏系统，并包含字符串驻留和自定义哈希器。教程有 74 个步骤、44 张 SVG 架构图和 42 个测试用例。
这个 Lisp 解释器是如何实现尾调用优化的？
尾调用优化通过蹦床（trampoline）实现，使用循环替代递归。在 eval 函数中，通过 loop 循环和 continue 语句，将尾位置上的递归调用改为更新 current_exp 并继续循环，从而避免栈溢出，支持 100 万次迭代。
这个项目适合 Rust 新手学习吗？
适合。教程面向零基础，每一步先讲要解决的问题再写代码，并提供 42 个测试用例随时验证。通过构建解释器，可以深入学习 Rust 的所有权、借用、智能指针（Rc、RefCell、Box）等核心概念。
这个 Lisp 解释器项目与其他教程（如 Crafting Interpreters、mal、SICP）有什么区别？
与 Crafting Interpreters 相比，本教程面向零基础，只做一遍 tree-walk；与 mal 相比，本教程每步先解释为什么，而 mal 只给测试用例；与 SICP 相比，本教程专注于解释器实现，而 SICP 更侧重编程思维。
这个 Lisp 解释器项目是否适合生产环境使用？
不适合。这是一个教学解释器，采用 tree-walking eval，没有字节码编译器和 JIT。优化步骤（40-43）仅用于演示技术原理，而非追求性能。如果需要生产级 Scheme，推荐使用 scheme-rs。
这个 Lisp 解释器的核心数据结构是什么？
核心数据结构是 LispExp 枚举，包含 Number、Symbol、List、Func、Lambda、Macro、Bool、Nil、String 等变体。闭包通过 LispLambda 结构体表示，其中 env 字段使用 Rc<RefCell<LispEnv>> 实现共享所有权。
这个 Lisp 解释器项目包含哪些源码文件？
项目结构包括：lib.rs（LispExp 枚举、LispLambda、Display trait）、lexer.rs（词法分析）、parser.rs（语法分析）、interpreter.rs（求值器，约 1050 行）、env.rs（环境）、interner.rs（字符串驻留）和 main.rs（REPL 入口），总共约 1658 行 Rust 代码。
