Slisp：一个极简的 Lisp 编译器深度解读

背景

在 Lisp 的漫长历史中，交互式编程环境（REPL）一直是其标志性特征。然而，尽管解释执行提供了极大的灵活性，编译为独立的可执行文件在性能、部署和安全性方面依然具有不可替代的价值。

Slisp 是一个为 Linux/amd64 架构设计的简单 Lisp 编译器。关于其命名，作者提供了两种解释：既可以是 "Simple Lisp"（简单 Lisp），也可以是 "Steve's Lisp"（史蒂夫的 Lisp），具体取决于读者的解读。

该项目的诞生源于作者此前开发另一种自制语言 s-lang 的经历。在 s-lang 的开发过程中，作者发现随着对浮点数、字符串、指针等复杂类型及动态特性的支持增加，处理类型系统和语法的开销变得过于庞大，导致代码库陷入困境。为了规避这种复杂性，同时保留 Lisp 语法易于解析的优势，作者决定从零开始构建 Slisp。它旨在实现一个具备完整类型系统、基于标准 SysV ABI（应用程序二进制接口）且易于理解的编译器，作为个人学习和探索编译器构建技术的实验性项目。

核心内容

Slisp 的核心功能是将 Lisp 源代码转换为 Linux/AMD64 平台的独立汇编代码，进而链接生成可执行文件。以下是其技术细节与功能特性的完整解读：

1. 编译与执行流程

Slisp 的工作流程分为编译、汇编和链接三个阶段，最终生成原生二进制文件。

• 构建编译器： 使用 Go 语言构建编译器本身：

  go build .
  

• 编译与链接： 使用 Slisp 将 .lisp 文件编译为汇编文件，然后使用 NASM 汇编，最后使用 ld 链接：

  ./slisp example.lisp > example.s
  nasm -f elf64 example.s
  ld -o example example.o
  

• 执行： 直接运行生成的二进制文件：

  ./example
  

为了方便使用，项目提供了 Makefile。运行 make clean all 可以自动编译当前目录下所有的 .lisp 文件，无需手动重定向或链接。

2. 语言特性与标准库

除非通过命令行参数 -stdlib=false 禁用，否则 Slisp 会在所有用户程序之前自动预置一个标准库。该标准库本身也是用 Slisp 编写的，展示了其功能实现。

支持的数据类型与结构：

• 基础类型：整数、字符串。
• 复合结构：列表（Lists）、Cons 单元格。
• 函数式特性：Lambda 表达式、闭包（Closures）、绑定（Bindings）。
• 运行时类型检测：提供如 int?、cons? 等函数用于运行时类型检查。

内置操作符：

• 数学运算：+, -, *, /, %。
• 比较运算：=, <, <=, >=, >，以及用于反转结果的 !。

特殊形式（Special Forms）： Slisp 支持 Lisp 核心的特殊形式，包括：

• (cond ..)
• (defun ..)
• (do ..)
• (if ..)
• (lambda ..)
• (let ..)
• (list ..)
• (set! ..)

标准库功能示例：

• 提供完善的 print 定义，能正确处理已知类型。
• 包含 map、length 等通用函数。
• 使用一种简易的 bump-allocator（ bump 分配器）来管理堆上分配的 Cons 单元格。

3. 示例代码

Slisp 支持递归和基本的 I/O 操作。以下是一个计算阶乘并输出的示例：

;; 阶乘函数
(defun fact (n)
  (if (<= n 1) 1 (* n (fact (- n 1)))))

;; 入口点
(defun main ()
  (println "Showing some factorials:")
  (println (fact 4))
  (println (fact 5))
  (println (fact 9))
  (println (fact 10))
  ;; 退出码 - 也可以使用 "(exit 3)"
  0)

此外，测试目录中还包含一个功能完整的 Brainfuck 解释器（brainfuck.lisp），证明了其图灵完备性。

4. 测试与质量保证

项目提供了多层次的测试机制：

• 功能测试：位于 test/ 目录下，编译固定程序并将输出与已知正确结果进行比较。运行 cd test && make test 执行。
• 单元测试：针对内部实现包（如编译器、环境、词法分析器、解析器）的 Go 测试。运行 go test ./... 执行。
• 模糊测试（Fuzz Testing）：利用 Go 提供的模糊测试工具进行压力测试。运行示例：

  go test -fuzztime=300s -parallel=1 -fuzz=FuzzProject -v
  

5. 明确排除的功能（Anti-features）

为了保持简单和可控，Slisp 明确排除了以下 Lisp 常见特性：

• 无垃圾回收（No garbage collection）：内存管理依赖于手动或简单的分配器。
• 无宏系统（No macros）：由于缺乏 quote 和 quasiquote 等关键机制，实现宏系统需要大量工作，因此未包含。
• 无 quote：这使得 eval 和编译时的元编程变得难以实现，但这符合其作为简单编译器的定位。

关键要点

• 技术栈：Slisp 编译器本身由 Go 语言编写，目标平台为 Linux/AMD64，输出标准 SysV ABI 兼容的汇编代码。
• 设计哲学：追求极简主义。通过牺牲垃圾回收、宏系统和 quote 机制，换取了编译器实现的简洁性和可维护性。
• 内存管理：采用简单的 bump-allocator 处理堆内存，不支持自动垃圾回收，这意味着开发者需注意内存生命周期（尽管对于简单脚本可能影响不大）。
• 标准库实现：标准库部分使用汇编实现以提升性能，部分使用 Slisp 自身编写，展示了语言自举的能力。
• 学习价值：该项目不仅是工具，更是作者从复杂语言设计（s-lang）中吸取教训后的产物，旨在提供一个“更真实、更可用”但依然作为“玩具”的编译器参考实现。
• 生态示例：内置的 Brainfuck 解释器证明了即使在没有宏和 GC 的情况下，Lisp 依然具备强大的表达能力。

意义与影响

Slisp 虽然是一个个人学习项目，但它在编译器设计和 Lisp 实现领域具有一定的参考价值：

1. 简化 Lisp 实现的典范：它展示了如何剥离 Lisp 中复杂的元编程特性（如宏），保留其核心的函数式编程和 REPL 文化，构建一个轻量级的编译型 Lisp 方言。这对于理解 Lisp 的核心抽象能力非常有帮助。
2. 编译器构建的教学案例：从词法分析、解析、环境管理到代码生成，Slisp 提供了一个完整的、可运行的编译器架构。其使用 Go 语言编写后端，并结合 NASM 和 ld 进行链接，为初学者提供了一条清晰的编译器开发路径。
3. 对“简单性”的重新审视：作者从 s-lang 的复杂困境中走出，选择 Slisp 作为更简单的替代方案，强调了在系统编程中，适当的限制（如无 GC、无宏）可以带来更高的开发效率和代码清晰度。
4. 自举与标准库设计：标准库用语言自身编写，且包含实用的 I/O 和类型处理功能，展示了如何在一个受限的语言子集中构建有用的工具集。

总之，Slisp 是一个精心设计的教育性项目，它证明了即使去除了 Lisp 的许多“高级”特性，它依然能够成为一个功能完备、语法简洁且易于实现的编译