Common Lisp

Common Lisp 是 Lisp 编程语言家族中最重要的通用方言之一,为统一当时众多互不兼容的 Lisp 分支而诞生,1984 年首次成型,并于 1994 年通过美国国家标准协会(ANSI)标准化。它是一门多范式、动态、支持元编程的强大语言。

概述

Common Lisp 沿袭了 Lisp 的括号前缀表达式(S 表达式)语法,代码与数据同构,这使得它拥有极为灵活的宏系统。语言内建对象系统(CLOS)、条件处理机制和可交互式开发的 REPL,程序可在运行时被动态修改和重编译。

核心特点

• 同像性:代码即数据,便于程序生成和操作程序。
• 宏系统:可在编译期扩展语言语法,构建领域专用语言。
• 多范式:融合函数式、面向对象和命令式。
• CLOS:功能强大的对象系统,支持多重分派。
• 交互式开发:通过 REPL 实时试验与调试。

应用场景

Common Lisp 在人工智能的符号推理时代扮演重要角色,至今仍用于科研、专家系统和需要高度灵活性的领域。一些商业软件、航天任务规划系统和数学软件也采用了它,SBCL 等高性能实现使其在现代仍具竞争力。

常见问题

问:Common Lisp 和 Scheme 有什么区别?答:两者都是 Lisp 方言,但 Common Lisp 更庞大、面向工业应用、函数与变量命名空间分离;Scheme 更精简、追求语言的极简与优雅。

问:为什么 Lisp 有那么多括号?答:因为它用统一的 S 表达式表示一切,括号界定了函数调用和数据结构,这种一致性正是其宏系统强大的基础,熟练后编辑器可自动配对辅助。