在 Lisp 领域中导航：对 Common Lisp、Racket、Clojure 和 Emacs Lisp 的比较分析

Lisp 语言家族常被视为一堆括号的整体，但其表面之下却是一个多样化的方言生态系统，每个方言都针对特定环境进行了定制——从可扩展的 Emacs 核心到基于 JVM 的 Clojure 并发。对于在这些语言之间切换的开发者来说，挑战往往不是核心逻辑，而是语法、标准库以及执行模型的细微差别。

执行模型与工具链

虽然四种方言都提供了 REPL（Read‑Eval‑Print Loop），但它们走向生产的路径差异显著。

  • Common Lisp (SBCL)： 重点在于编译为机器码。正如社区贡献者所指出的，SBCL 通常在默认情况下就编译代码，即使在 REPL 中，也模糊了解释与编译的界限。
  • Racket： 提供了复杂的模块系统和 raco 工具集用于编译和包管理。它在通过 #lang 声明轻松生成独立可执行文件方面独树一帜。
  • Clojure： 深度集成于 Java 虚拟机（JVM）。其执行依赖于 Java 生态系统，使用 .jar 文件以及 JVM 的内存管理和线程模型。
  • Emacs Lisp： 主要作为 Emacs 编辑器的扩展语言设计。虽然支持字节编译以提升性能，但其主要存在形式仍是编辑器自身的进程中。

核心语法差异

真值与假值

对新手而言，最令人震惊的差异之一是“真值”和“假值”的定义。在 Common Lisp 和 Emacs Lisp 中，nil 与空列表 () 同义，均视为假。Racket 采用更严格的规则，只有 #f（或 false）为假；null 与 () 被视为真。Clojure 则处于中间立场，false 与 nil 都为假，但空列表 () 为真。

变量作用域与赋值

变量声明通常遵循 let 用于局部、def/define 用于全局的模式，但细节差异不可忽视：

  • Lisp‑1 与 Lisp‑2： Common Lisp 与 Emacs Lisp 是 “Lisp‑2”，即函数与变量拥有独立的命名空间。一个符号可以同时解析为值和函数。Clojure 与 Racket 是 “Lisp‑1”，符号在给定环境中只指向单一实体。
  • 动态作用域 vs 词法作用域： Emacs Lisp 历史上依赖动态作用域。虽然引入了 lexical-let 以提供词法作用域，但旧版本的默认行为常常与 Clojure、Racket 中严格的词法作用域不同。

数据结构细节

列表的演进

虽然 cons 单元是 Lisp 的祖传核心，现代方言已经演化：

  • Clojure 的持久化数据结构： 与 Common Lisp 或 Racket 的链表不同，Clojure 使用持久化、不可变的数据结构。这导致 cons 的行为不同——第二个参数必须是列表，且原列表保持不变。
  • car/cdr 的遗留： 大多数方言仍支持 car（首元素）和 cdr（其余），但趋势是使用更易读的 first 与 rest 命名。Clojure 进一步简化为 first 与 next（next 在单元素列表上返回 nil，而 rest 返回空序列）。

数组与字典

固定长度数组（向量）随处可见，但其可变性各有不同。Racket 区分不可变向量 (#()) 与通过 (vector ...) 创建的可变向量。Clojure 强调不可变的映射（map）和向量，提供跨不同序列类型的一致 API。

高级语言特性

宏与卫生性

宏是 Lisp 的“杀手特性”，使语言能够自我扩展。然而，对安全性的处理方式各异：

  • 卫生宏： Racket 是卫生宏的金标准，确保宏展开不会意外捕获外部作用域的变量。
  • 非卫生宏： Common Lisp 与 Emacs Lisp 的宏是非卫生的。为避免名称冲突，开发者必须手动使用 gensym 生成唯一符号。

异常处理与重启

Common Lisp 提供强大的“条件系统”，将错误检测与错误处理分离。restart-case 允许程序员定义多种错误恢复方式，处理器可以在不展开堆栈的情况下调用这些重启——这一特性在其他三种方言中基本缺失。

汇总比较表

特性 Common Lisp Racket Clojure Emacs Lisp
命名空间 Lisp-2 Lisp-1 Lisp-1 Lisp-2
假值 nil, () #f false, nil nil, ()
宏 非卫生 卫生 半卫生 非卫生
主要目标 本地/机器 本地/字节码 JVM Emacs 编辑器
默认作用域 词法 词法 词法 动态/词法

最终洞见

Lisp 家族的碎片化常被视为采纳的障碍，但正如一位社区成员所言，编写 Lisp 的体验常像在“阅读诗歌”，因为其概念优美且流畅。无论你需要 Common Lisp 的工业级编译、Racket 的学术严谨、Clojure 的 JVM 互操作性，还是 Emacs Lisp 的编辑器集成，核心哲学始终不变：代码即数据，语言是程序员的画布。

Sources