Scheme是一种函数式编程语言，属于Lisp方言家族，以其极简主义的设计哲学和强大的宏系统闻名。它于1970年代由Gerald Jay Sussman和Guy L. Steele Jr.在麻省理工学院开发，最初旨在用于计算机科学教育和人工智能研究。Scheme以S-表达式（括号嵌套）为核心语法，支持词法作用域、尾递归优化和第一类过程，被誉为“最优雅的编程语言之一”，也因大量括号被戏称为“括号地狱”。
1 概述与发展历程
1.1 诞生背景
1970年代初，Lisp语言已在人工智能领域占据主导地位，但其方言林立、语义混乱，且缺乏标准化。当时麻省理工学院的Gerald Jay Sussman和Guy L. Steele Jr.受Algol语言的词法作用域启发，试图设计一种“最小但完整”的Lisp方言，以澄清语言设计中的概念。1975年，两人发表了《Scheme：一种Lisp方言》的论文，标志着Scheme的诞生。该语言最初用于教授计算机程序结构，并成为SICP教材的前沿支撑。
1.2 关键版本演变
Scheme经历了多次标准化修订，以“Revised^N Report on the Algorithmic Language Scheme”（R^N RS）的形式发布。
1.2.1 R5RS（Revised^5 Report on the Algorithmic Language Scheme）
1998年发布的R5RS是Scheme史上影响最广的版本。它精简了核心语言特性，仅包含约50个内置过程，强调“语言越小，越容易多次实现”。R5RS奠定了Scheme的极简主义风格，被多数主流实现所遵循，直到今天仍是许多教学场景的首选标准。
1.2.2 R6RS与R7RS
2007年发布的R6RS是一次激进的扩展，引入了库系统、异常处理、完整I/O库等特性。然而，其体量膨胀引发社区分裂，许多实现（如Chicken）拒绝完全采用R6RS。2013年发布的R7RS（小型版本）则回归简洁，在R5RS基础上增加了少量实用特性（如精确部分库、字符编码支持），并保留了“小型语言”的初衷。大型版本（R7RS Large）仍在缓慢推进中。
1.3 设计哲学
Scheme的核心哲学是“极简与一致”。它认为语言本身应只提供最底层的抽象机制，而将扩展权力交给用户（通过宏）。设计原则包括：词法作用域、以lambda作为唯一的过程定义方式、第一级续延（continuation）、尾调用优化。这种设计让Scheme兼具数学的纯净和实用的可塑能力。
2 语言核心
2.1 语法与语义
2.1.1 S-表达式基础
Scheme的代码与数据均采用S-表达式（符号表达式）表示。一个S-表达式可以是原子（如数字、符号）或列表（用括号括起，元素间用空格隔开）。例如，(+ 1 2)是一个列表，其中+作为操作符，1和2作为参数。这种同像性（homoiconicity）使元编程极为便利。
2.1.2 基本数据类型
2.1.2.1 数字、字符与字符串
Scheme支持整数、有理数、实数和复数（精确或近似）。字符以#\前缀表示，如#\a。字符串用双引号括起，如"hello"。所有数字与字符均是不可变的。
2.1.2.2 符号与布尔值
符号是命名对象，用于表示标识符或枚举值，例如'foo（带引号表示符号字面量）。布尔值有两个特殊符号：#t（真）和#f（假），其中仅#f被视为假，其余所有值均为真。
2.1.2.3 列表与向量
列表是由有序对cons构成的链式结构。例如(list 1 2 3)等价于(cons 1 (cons 2 (cons 3 '())))。向量是定长、可随机访问的序列，使用#(表示，如#(1 2 3)。两者都是常用的复合数据结构。
2.1.3 过程定义（lambda）
过程是Scheme中最重要的第一类值。通过lambda表达式创建匿名过程：(lambda (x y) (+ x y))。define语法允许给过程命名：(define add (lambda (x y) (+ x y)))。也可使用语法糖(define (add x y) (+ x y))。
2.2 作用域与求值
2.2.1 词法作用域
Scheme采用词法作用域（静态作用域），即每个绑定在定义时的环境中生效，而非调用时。这与早期动态作用域的Lisp形成对比。例如：
(define x 10)
(define (f) x)
(define (g) (let ((x 20)) (f))) ; 调用g返回10，而非202.2.2 闭包（Closure）
当lambda表达式引用其定义环境中的自由变量时，该过程会“捕获”该环境，形成闭包。闭包使得函数可以携带状态，是函数式编程与面向对象模拟的基石。例如：
(define (make-counter)
(let ((count 0))
(lambda ()
(set! count (+ count 1))
count)))2.2.3 尾递归优化
Scheme语言标准要求实现必须支持尾递归优化（尾调用消除）。当一个递归调用作为过程的最后一步（尾位置）时，解释器或编译器会将其优化为循环，从而避免栈溢出。这使Scheme程序员可以放心使用递归代替循环。
2.3 控制流
2.3.1 条件表达式（cond、if）
Scheme提供if和cond两种条件结构。if用于单分支：(if 条件 真分支 假分支)。cond适用于多分支：(cond (条件1 表达式1) (条件2 表达式2) (else 默认表达式))。所有分支本身都是表达式，求值顺序由条件决定。
2.3.2 递归与迭代
Scheme中没有显式的循环关键字（如for、while），而是使用递归和named let实现迭代。named let是一种语法糖，允许在let中定义递归函数并立即调用。例如计算阶乘：
(define (fact n)
(let loop ((i n) (acc 1))
(if (= i 0)
acc
(loop (- i 1) (* acc i)))))3 宏系统
Scheme的宏系统是其最强大的扩展机制，允许程序员在编译前对代码进行转换，从而创造新的语法结构。
3.1 卫生宏（Hygienic Macro）
传统Lisp宏容易因为变量名冲突导致问题（即“非卫生”）。Scheme的卫生宏通过自动重命名绑定的变量，确保宏引入的变量不会意外捕获调用环境中的同名变量。这由syntax-rules或syntax-case等系统自动处理，避免了许多低级bug。
3.2 模式匹配宏（Syntax-Rules）
syntax-rules是R5RS标准定义的宏定义工具，使用模式匹配与模板替换。例如定义一个when宏：
(define-syntax when
(syntax-rules ()
((_ test expr1 expr2 ...)
(if test (begin expr1 expr2 ...)))))syntax-rules写法简练，但功能有限（不支持局部变量绑定）。更强大的 syntax-case（R6RS/Chez Scheme）提供了解析式宏能力。
3.3 宏在DSL中的应用
Scheme宏常用来构建领域特定语言，如嵌入式测试框架、Web服务器路由、序言式生成器等。例如，let本身就是宏，其他如cond、do、define等核心结构也通过宏实现，从而保持核心语言极简。
4 编程范式
4.1 函数式编程
Scheme天然支持函数式编程：过程是一等公民，使用纯函数、高阶函数（如map、filter、fold）和不可变数据结构。例如用map对列表每个元素加1：
(map (lambda (x) (+ x 1)) '(1 2 3)) ; -> (2 3 4)鼓励避免副作用，但语言不强制。
4.2 命令式与面向对象模拟
4.2.1 通过闭包实现对象
利用闭包和set!可以模拟对象。闭包捕获的状态视为对象的私有字段；返回的过程作为方法。例如：
(define (make-point x y)
(lambda (msg)
(case msg
((get-x) x)
((get-y) y)
((move) (lambda (dx dy) (set! x (+ x dx)) (set! y (+ y dy)))))))这种风格被称为“消息传递”，在早期Scheme教学中常见。
4.2.2 可变状态与set!
set!是Scheme中唯一的通用赋值操作符，用于更改变量的值。例如：
(define counter 0)
(set! counter (+ counter 1))结合set!和box（引用类型），可以构建可变数据结构，支持命令式编程范式。
5 标准实现与工具链
5.1 主要实现
5.1.1 MIT/GNU Scheme
MIT/GNU Scheme是自1980年代发展的参考实现，内置完善的调试器、字节码编译器、EDWIN编辑器（类似Emacs）。常用于SICP教学，但更新缓慢。
5.1.2 GNU Guile
Guile是GNU项目的官方扩展语言，用于系统脚本与嵌入场景。它支持R5RS/R6RS/RNRS多种标准，并提供了丰富的C语言接口。Guile常被用于GIMP、Guix等项目中。
5.1.3 Chez Scheme
Chez Scheme由R. Kent Dybvig开发，以其极快的编译和执行速度著称。它提供了 syntax-case宏系统，是R6RS标准的重要实现之一。商业化后期转为开源。
5.1.4 Chicken Scheme
Chicken是一个将Scheme编译为C语言的实现，旨在兼顾Scheme的灵活性与C的执行效率。它拥有活跃的社区和大量egg（扩展包），支持R5RS并兼容部分R7RS。
5.2 编译与解释
5.2.1 交互式REPL
几乎所有Scheme实现都提供读取-求值-输出循环，允许用户输入表达式立即执行并查看结果。REPL是Scheme开发的核心体验，特别适合探索性编程和测试。
5.2.2 编译至本地代码
多数主流实现支持编译为本地机器码或字节码。Chicken和Chez可编译为高效的可执行文件；MIT Scheme使用字节码编译器；Guile通过虚拟机执行。编译运行针对性能敏感的应用程序。
6 应用领域
6.1 教学与学术
6.1.1 SICP（Structure and Interpretation of Computer Programs）教材
SICP是麻省理工学院经典的计算机科学入门教材，全书使用Scheme作为描述语言。它通过Scheme的简洁语法，教授计算过程的本质、数据抽象、模块化、元语言抽象等核心概念。SICP影响了无数计算机科学家。
6.1.2 人工智能课程
由于Scheme天然支持递归、符号处理和函数式抽象，它在早期AI课程中被广泛用于实现搜索算法、定理证明器、专家系统等。虽然现代AI更常用Python，但部分学术课程仍坚持用Scheme训练抽象思维。
6.2 系统工具与脚本
GNU Guile被用作操作系统的配置与脚本语言（如Guix包管理器）。Chicken Scheme被用于编写小型系统工具、网络服务、日志分析等。其跨平台编译能力适合嵌入式或命令行场景。
6.3 领域特定语言设计
由于宏系统强大，Scheme常被用作DSL的宿主语言。例如，LilyPond乐谱排版系统使用Guile作为扩展语言；一些游戏引擎用Scheme编写逻辑脚本；数据库查询DSL、规则引擎等也利用Scheme宏构造。
7 趣闻与梗文化
7.1 括号地狱：程序员吐槽大会
Scheme大量使用括号，尤其是嵌套的)))))结尾，常被戏称“括号地狱”。经典笑话是：Scheme程序员写代码时，90%的时间在数括号，剩下10%在删括号。也有改编的“为什么Scheme不适合工业生产？”——因为程序员会因窒息而死。但支持者反击：优秀的编辑器（如Emacs）可自动配对、缩进，括号根本不是问题。
7.2 Scheme vs Common Lisp：永恒的口水战
Common Lisp（CL）是1980年代为工业应用设计的Lisp方言，功能庞大而务实。Scheme和CL支持者之间的论战持续数十年：Scheme派认为CL“臃肿”“不纯洁”，CL派称Scheme“玩具语言”“只有括号没有字段”。实际两者各有定位：Scheme用于教学与语言研究，CL用于大型商业系统。
7.3 “Scheme是Lisp的前戏”
这句网络调侃意指：学习Scheme只是进入Lisp世界的“热身”，但真正的“高潮”是Common Lisp或Clojure。另一种解读是：Scheme因其简洁优雅，让初学者爱上函数式思维，而后续转向更“实用”的Lisp方言。这句话透露出对Scheme的又爱又嘲。