1 历史与演变
1.1 诞生背景（1958年）
1958年，约翰·麦卡锡在麻省理工学院设计了一种用于符号计算和人工智能研究的新语言，即Lisp。当时，Fortran已占据数值计算领域的主导地位，但缺乏处理符号运算的灵活性。麦卡锡受到阿隆佐·邱奇（Alonzo Church）的Lambda演算启发，将列表作为核心数据结构，并引入了递归和条件表达式。Lisp最初的实现运行于IBM 704计算机上，其语法深受该机器字长和指令集的影响，例如car和cdr操作符就源自IBM 704的寄存器地址指令。
1.2 早期方言
随着Lisp在学术界的扩散，不同机构发展出多种方言，以适应各自的研究需求。这些方言在语法和功能上虽有差异，但都保留了S-表达式、递归和垃圾回收等核心特性。
1.2.1 MacLisp与Interlisp
- MacLisp：开发于麻省理工学院（MIT）的MAC项目，追求运行效率和强大的宏系统，后来成为Common Lisp的重要前身。
- Interlisp：由BBN公司及Xerox PARC开发，强调交互式编程环境，包含了著名的"重构"工具，如文件包（file package）和完善的调试器，在人工智能社区中广泛使用。
1.3 标准化：Common Lisp（1984年）
20世纪70至80年代，Lisp方言的激增导致代码移植困难。1981年，一群来自工业界和学术界的Lisp开发者集会，启动了制定统一标准的工作。1984年，Guy Steele等人出版了《Common Lisp：The Language》一书，标志着Common Lisp的诞生。该标准融合了MacLisp、Interlisp、Scheme等方言的特性，提供了一个功能全面、可移植的Lisp实现。
1.3.1 ANSI Common Lisp标准
1994年，Common Lisp成为美国国家标准（ANSI X3.226-1994）。该标准详细定义了语言的语法、语义、内置函数、条件系统（条件系统）以及面向对象扩展（CLOS）。尽管ANSI标准之后未再有重大版本更新，但它为Lisp开发者提供了一个稳定且权威的参考基准。
1.4 现代分支
1.4.1 Scheme（简约极客系）
由Gerald Jay Sussman和Guy Steele于1975年设计，Scheme以极致简约和优雅著称。它拥有词法作用域、尾递归优化以及极小的核心语法，是《计算机程序的构造与解释》（SICP）所使用的教学语言，深刻影响了函数式编程理念的传播。
1.4.2 Clojure（Java虚拟机上的Lisp）
由Rich Hickey于2007年创建，Clojure是一种运行在Java虚拟机（JVM）上的现代Lisp方言。它强调不可变数据结构、软件事务内存（STM）以及与Java生态的无缝互操作。Clojure以其对并发编程和函数式编程的优雅支持，吸引了大量开发Web应用和服务器的开发者。
1.5 幽默编年史：括号的和平崛起
Lisp因其大量的括号而成为编程文化中经典的"梗"。程序员常抱怨其代码看起来像是"括号海啸"或"括号地狱"。有人戏称Lisp的全称是"Lots of Irritating Superfluous Parentheses"（大量烦人的多余括号）。然而，久而久之，括号也成了Lisp爱好者引以为傲的徽章——越是复杂宏生成的括号嵌套，越能体现元编程的强大。括号从一个被调侃的弱点，最终通过Lisp的坚固设计，实现了"和平崛起"。
2 语言特性
2.1 语法体系
2.1.1 S-表达式：万物皆括号
Lisp的代码由所谓的"S-表达式"（符号表达式）构成。一个S-表达式要么是一个原子（atom，如数字、符号），要么是一个用括号包裹的列表，例如(operator operand1 operand2)。这种统一的语法结构（列表即代码，代码即列表）是Lisp成为"同像性"语言的基础。
2.1.2 前缀表示法：(+ 1 2) 而不是 1+2
与大多数编程语言的中缀表示法不同，Lisp在表达运算时使用前缀表示法。例如加法写作(+ 1 2)，函数调用写作(func arg1 arg2)。这种设计消除了运算符优先级的问题，使代码解析更加直接，也使得宏能够轻松地操作和重组表达式。
2.2 核心数据类型
2.2.1 符号与列表
- 符号（Symbol）：命名数据的对象，如
'this-is-a-symbol。 - 列表（List）：由点对（cons cells）链接构成的链式结构，是Lisp的核心数据结构。
2.2.2 数与字符串
2.2.3 数组与哈希表
- 数组（Array）：固定大小、下标访问的数据结构。
- 哈希表（Hash Table）：基于键-值对的高效字典结构。
2.3 函数式编程核心
2.3.1 高阶函数（map、filter、reduce）
Lisp天然支持高阶函数，即可以接受函数作为参数或返回函数。map能将一个函数应用于列表的每个元素；filter通过谓词保留满足条件的元素；reduce使用函数将列表累积为一个值。
2.3.2 闭包与词法作用域
闭包（Closure）是一个函数，它绑定并"捕获"了其定义环境中自由变量的值。Lisp（特别是Scheme和Common Lisp）支持词法作用域，这保证了闭包能够在其定义环境之外被安全调用。
2.4 宏系统：编写编写代码的代码
2.4.1 宏与函数的区别
- 函数：接受表达式作为参数，计算其值并返回结果。
- 宏：接受源代码（未求值的S-表达式）作为参数，在编译期或读取期将其转换为另一种更底层的代码，然后执行。因此，宏可以实现函数无法完成的任务，如引入新的控制结构或自定义语法糖。
2.4.2 代码即数据（同像性）
Lisp的同像性（Homoiconicity）意味着程序的代码本身是语言的数据结构（列表），因此，宏可以像操作普通列表一样操作代码。这种特性使得Lisp的元编程能力极为强大，甚至被称为"编程语言的乐高积木"。
2.5 特殊运算符
2.5.1 let、cond、lambda
- let：用于创建局部变量绑定，
(let ((x 1)) x)。 - cond：多路条件分支，相当于其他语言中的
switch或if-else if链。 - lambda：构造匿名函数的表达式，是整个函数式编程的基石。
2.5.2 循环与迭代：do、loop宏
- do：一种通用的宏命令式循环结构，支持变量绑定、终止条件和更新表达式。
- loop：Common Lisp中极为复杂但强大的迭代宏，可以灵活处理列表、数值范围、集合等迭代任务，语法接近自然语言。
3 编程范式与生态
3.1 函数式编程
Lisp天生支持纯函数、高阶函数、递归和懒惰求值（某些方言）等函数式范式。它鼓励用组合小函数而非编写庞大过程来构建程序。
3.2 面向对象（Common Lisp的CLOS）
Common Lisp对象系统（CLOS）是Lisp中实现面向对象编程的典范。与Java等语言的类模型不同，CLOS支持多方法（multimethods）、基于类的继承以及灵活的胶合（mix-in）机制，使对象系统具有高度的可定制性。
3.3 元编程与领域特定语言
3.3.1 宏如何创造新语言
宏使得开发者可以创建领域特定语言（DSL）。例如，你可以编写一个(html :header ...)宏，在编译期将其展开为底层的HTML渲染代码，从而让Lisp代码直接书写HTML模板，极大提升可读性和安全性。
3.4 错误处理与条件系统
3.4.1 重启式异常处理
Common Lisp的条件系统允许当错误发生时，程序发出信号并调用注册的"处理函数"，还可以提供多个"重启点"（restart），让用户或程序选择恢复策略（如重试、跳过失败元素），而不是直接崩溃。
3.5 开发环境
3.5.1 Emacs与Slime（神话级编辑器组合）
Slime（Lisp-IDE）是运行在Emacs中的Lisp交互式开发环境。它利用Emacs的强大编辑能力和Lisp的REPL，实现了代码编辑、评估、调试、重构的无缝循环，被Lisp程序员视为神话级开发工具。
3.5.2 REPL交互式体验
Lisp的读取-求值-打印-循环（REPL）是学习与开发的关键。开发者可以逐行编写并立刻查看结果，动态修改运行中的程序，极大地提升了探索和调试效率。
4 知名方言与实现
4.1 Common Lisp（务实派）
Common Lisp是标准最全面、库最丰富、商业化支持最好的Lisp方言，广泛应用于工业级系统和研究项目中。
4.1.1 SBCL (Steel Bank Common Lisp)
一个高性能的、开源的Common Lisp实现，以其出色的编译器优化和严格的调试能力而闻名。SBCL能生成高效的本地码，是许多Lisp开发者的首选。
4.1.2 CCL (Clozure CL)
另一个开源实现，以较短的编译时间和良好的内存管理著称。CCL在macOS和Linux上表现突出，曾是应用最广泛的Lisp之一。
4.2 Scheme（学术派）
Scheme强调简洁和教学实用性，是计算机科学课程中的标准语言之一。
4.2.1 Racket（带电池的Scheme）
Racket是Scheme方言的一个派生，它提供了丰富的库、强大的图形界面、宏系统和对语言创作的支持。Racket社区推动了"语言即库"的思想，允许用户轻松定义DSL。
4.2.2 Chez Scheme
一个商业级Scheme实现，以其极高的运行速度和优化的尾递归而著称，是许多Scheme研究的基础平台。
4.3 Clojure（现代跨界者）
4.3.1 不可变数据结构与STM
Clojure默认提供不可变的持久化数据结构，并结合软件事务内存（STM）来管理并发状态，使得线程安全编程变得直观可靠。
4.4 其他小众方言
4.4.1 Emacs Lisp（编辑器的灵魂）
Emacs Lisp是Emacs编辑器的自定义语言，主要用于编写扩展、配置和插件。尽管性能不如Common Lisp，但它与Emacs的结合使Emacs成为可编程的极致文本编辑器。
4.4.2 PicoLisp（极简极变态）
PicoLisp是一个极为精简的Lisp方言，其内核只有几十KB，却包含完整的函数式编程、面向对象和数据库集成能力。它以其狂野的简洁性和对内存的精细控制，吸引着硬核Lisp爱好者。
5 应用领域
5.1 人工智能与早期专家系统
Lisp被公认为人工智能（AI）的母语之一。早期AI项目，如符号推理、知识表示和自然语言处理，几乎全部使用Lisp或相关方言编写。
5.1.1 麦克风前的传统：AM、ELIZA
- AM（Automated Mathematician）：一个自动发现数学定理的系统，由Douglas Lenat用Lisp编写。
- ELIZA：首个聊天机器人程序，由Joseph Weizenbaum在20世纪60年代用Lisp编写，模拟心理治疗师的对话风格。
5.2 编程语言研究（编译器、解释器）
Lisp因同像性和宏系统，成为设计新语言和研究编译器、解释器的理想实验平台。许多现代语言的概念（如垃圾回收、类型推断）最初都在Lisp中得到验证。
5.3 符号计算与数学（如Maxima）
Maxima是一款开源的计算代数系统（CAS），其代码主体用Common Lisp编写。它能够进行符号化简、微分、积分、矩阵运算等数学操作。
5.4 Web开发（Clojure & Ring）
Clojure的Ring库提供了类似Rack或WSGI的Web服务器接口，配合Compojure等路由库，能高效构建RESTful Web服务和全栈应用。
5.5 游戏开发（《Radium》等）
Lisp在游戏开发中的直接使用较少，但仍有案例。例如，开源第一人称射击游戏《Radium》（原名为"Battle for Wesnoth"的一个Lisp重写项目）使用Lisp实现了部分游戏逻辑。
5.6 幽默彩蛋：用Lisp写Lisp解释器（自举循环）
Lisp以其元循环解释器而闻名——一个用Lisp编写的、能执行Lisp代码的小型解释器（metacircular evaluator）。这被视为编程最纯粹的自举魔法之一，也是SICP课程的核心内容。
6 对后世编程语言的影响
6.1 函数式编程的启蒙（Haskell、ML）
Lisp对Haskell和ML等类型化函数式语言产生了直接影响，后两者继承了递归、高阶函数和模式匹配等思想，并将其与强大类型系统结合。
6.2 垃圾回收机制的祖师爷
Lisp在20世纪60年代率先实现了自动内存管理（垃圾回收）。这一技术后来被Java、C#、Python、JavaScript等主流语言广泛采用，成为现代编程环境的标配。
6.3 宏系统与C++模板元编程
Lisp的宏思想启发了C++的模板元编程和C的预处理宏。尽管实现方式不同，但目标都是在编译期生成代码，实现灵活性与性能的平衡。
6.4 JavaScript的Closure和箭头函数灵感
JavaScript的闭包机制和箭头函数（=>）在语法和语义上深深受到Scheme中词法作用域和lambda函数的影响。
6.5 Python中的lambda与列表解析
Python的lambda关键字和列表解析（list comprehension）可以被理解为Lisp中lambda和map/filter的现代化变体，体现了函数式思想对Python社区的渗透。
7 学习资源与社区文化
7.1 必读经典
7.1.1 《Structure and Interpretation of Computer Programs》（SICP）
被誉为编程领域的圣经，使用Scheme教学，深刻阐释了计算机科学的本质、抽象、递归和元循环解释器。其电子版和纸质版均影响了一代又一代程序员。
7.1.2 《Practical Common Lisp》
由Peter Seibel撰写，是面向工程实践的Lisp入门书。全书以Common Lisp构建实际项目为主线，深入讲解宏、CLOS、错误处理等高级话题，被很多人称为"最有趣的编程书"。
7.2 在线社区与幽默
7.2.1 /r/lisp 与括号表情包大战
Reddit上的/r/lisp子论坛是以Lisp为主题的社区。这里时常出现以括号为主题的恶搞表情包，例如"Lisp程序员在代码中迷失"或"括号之王的宝座"，体现了Lisp社区的幽默和自嘲文化。
7.2.2 梗百科：“(((Lisp)))”
在网络论坛或社交媒体上，常使用多层括号（如(((Lisp)))）作为Lisp的抽象符号。这是对Lisp中代码层层嵌套、括号铺天盖地的生动反映，也是一种圈内人相互识别、快意玩梗的独特方式。
7.3 现代入门路径
7.3.1 从Clojure开始的现代路线
对于不希望与Unix shell或Emacs纠缠的新手，推荐从Clojure入手。安装Leiningen构建工具后，即可在JVM上快速搭建项目，并享受不可变数据和Java互操作的便利。
7.3.2 从Emacs Lisp开始的日常路线
如果你已是Emacs用户，学习Emacs Lisp将是最生活化的切入点。每天编写一些小脚本（如优化按键映射、自动补全），在解决实际问题的过程中逐步掌握Lisp的基本概念，再拓展到Common Lisp或Scheme。