本文对比了四种主流Lisp方言：Common Lisp、Racket、Clojure和Emacs Lisp，涵盖语法、特性、应用场景及社区生态。重点分析了它们在宏系统、并发模型、类型系统和平台依赖上的差异，帮助开发者根据项目需求选择最合适的Lisp方言。
核心要点
- Common Lisp是工业级多范式语言，支持CLOS对象系统与条件系统，适合大型应用开发。
- Racket强调语言导向编程，内置丰富的教学与领域特定语言（DSL）工具，适合教育和原型设计。
- Clojure运行在JVM/CLR上，默认使用持久化数据结构与软件事务内存（STM），适合并发与数据密集型应用。
- Emacs Lisp深度集成Emacs编辑器，主要用于扩展和配置，语法简洁但性能受限。
- 四种方言在宏系统上均支持卫生宏或非卫生宏，但实现细节与使用习惯差异显著。
正文
概述
Lisp家族拥有众多方言，其中Common Lisp、Racket、Clojure和Emacs Lisp是最具代表性的四种。它们共享S-表达式、宏和函数式编程核心，但在设计哲学、运行环境和生态上各有侧重。
Common Lisp
- 设计目标：工业级通用编程语言，支持面向对象（CLOS）、函数式、过程式等多种范式。
- 关键特性：
- 强大的条件系统（restart-based error handling）
- 完整的宏系统（非卫生宏，但提供gensym避免变量捕获）
- 多实现（SBCL、CCL、Allegro CL等），性能接近C
- 典型应用：大型系统、AI、商业软件（如ITA Software的机票定价系统）
Racket
- 设计目标：语言导向编程（Language-Oriented Programming），强调创建和组合领域特定语言。
- 关键特性：
- 卫生宏（syntax-rules/syntax-case）
- 丰富的教学工具（DrRacket、HtDP教材）
- 内置类型系统（Typed Racket）和契约系统
- 典型应用：教育、编程语言研究、Web开发（通过Racket Web Server）
Clojure
- 设计目标：现代函数式语言，运行于JVM/CLR/JavaScript平台，强调不可变性和并发。
- 关键特性：
- 持久化数据结构（Persistent Data Structures）
- 软件事务内存（STM）和代理（Agent）模型
- 与Java生态无缝互操作
- 典型应用：大数据处理（如Apache Storm）、Web后端（Ring/Compojure）、并发系统
Emacs Lisp
- 设计目标：Emacs编辑器的扩展语言，深度集成编辑器功能。
- 关键特性：
- 动态作用域（与其他Lisp的静态作用域不同）
- 非卫生宏（defmacro）
- 大量内置函数用于缓冲区、窗口和键绑定操作
- 典型应用：Emacs配置、插件开发（如Org-mode、Magit）
对比总结
| 特性 | Common Lisp | Racket | Clojure | Emacs Lisp |
|---|---|---|---|---|
| 运行平台 | 原生（多实现） | 原生（Racket VM） | JVM/CLR/JS | Emacs内部 |
| 宏系统 | 非卫生（可手动卫生） | 卫生 | 非卫生（但鼓励函数式） | 非卫生 |
| 并发模型 | 线程+锁 | 线程+锁 | STM+代理+原子 | 单线程（主循环） |
| 类型系统 | 动态（可选类型声明） | 动态+可选Typed Racket | 动态（可选类型提示） | 动态 |
| 主要应用 | 通用、AI | 教育、语言设计 | 并发、数据 | 编辑器扩展 |
关联概念
- S-表达式
- 宏（Macro）
- 函数式编程
- 领域特定语言（DSL）
- 软件事务内存（STM）
可操作项
- 安装SBCL并编写一个简单的Common Lisp程序，体验CLOS对象系统。
- 使用Racket的DrRacket环境创建一个小型DSL，例如用于数学表达式的求值器。
- 在Clojure中实现一个使用STM的并发计数器，对比Java的synchronized实现。
- 编写一个Emacs Lisp函数，自动格式化当前缓冲区中的代码。
原文: Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp
自动加工于 2026-05-19 05:51