# Lisp

：一种古老的编译型语言。

虽然古老，但是诞生之后有多次改进，扩展了许多现代编程语言的功能。
存在多种方言：
- Scheme ：于 1975 年发布。
- Common Lisp (opens new window) ：于 1984 年发布，本文介绍其语法。
- Racket ：于 1995 年发布。
- Clojure ：于 2007 年发布。源代码编译成 Java 字节码之后由 JVM 运行。

# 相关历史

1936 年，剑桥大学的图灵设想出一种能自动计算的机器：在一条纸带上的每一格记下一个简单符号，一台机器像人脑一样依次读取每格的符号，根据符号执行某种操作。
- 这种机器被称为图灵机，特点：
  - 一台图灵机可以执行任何算法。
  - 如果一个问题可以表示成算法形式，即可计算，则可以被图灵机解决。
- 这设计了计算机的基本运行逻辑。
- 如果一个编程语言能实现图灵机的基本功能，比如算术运算、逻辑运算、条件判断、循环，则称为图灵完备（Turing Completeness）。
1945 年 3 月，参与美国原子弹研制的冯·诺依曼起草了一份论述 EDVAC（Electronic Discrete Variable Automatic Computer）的报告，将计算机设计成五个基本部分：运算器、控制器、存储器、输入设备、输出设备。
- 这设计了计算机的基本架构，沿用至今。
1950 年，图灵发表论文《计算机器与智能》，提出了图灵测试：如果一台机器让人不能分辨出它是机器，则可以判断该机器具备人工智能。
1954 年，IBM 公司的 John Backus 发明了 Fortran 语言。
- 它是世界上第一种高级编程语言，主要用于公式计算。
1956 年 8 月，John McCarthy 在 Dartmouth 学院发起一场会议，与香农、Nathaniel Rochester、Marvin Minsky 等人在讨论中首次提出了人工智能的概念。
1958 年，John McCarthy 因为 Fortran 的功能不满足需求，发明了 Lisp 语言。
- 它是第一种支持递归函数的高级编程语言。

# 语法特点

源文件的扩展名为 .lisp 或 .lsp 。
代码可以编译后执行，也可以通过解释器直接执行。
用分号 ; 声明单行注释，用 #| 和 |# 声明多行注释。
标识符不区分大小写。
支持定义函数，支持面向对象编程。

# 括号表达式

Lisp 程序的主要组成单位：
- atom ：一个数字或标识符。
  - 如果代码中的一个字符串没有用双引号作为定界符，则被当做 atom 。如果它全由数字字符或小数点组成，则视作数字，否则视作变量名、函数名等标识符。如下：
```
3.14        ; 数字
var1        ; 标识符
Hello       ; 标识符
"Hello"     ; 字符串
```
  - 特别地，字母 t 表示逻辑真，nil 表示逻辑假或空列表。
- string ：字符串，用双引号作为定界符，支持用反斜杠 \ 转义字符。
- list ：列表，是一个包含任意个 atom 或 list 的括号表达式。
  - 如下：
```
(0 1 2 3)
(0 ( 1 2 ) 3 Hello)
( )
```
Lisp 的每个语句都放在括号表达式中：
```
(write 6)                     ; 调用函数 write 打印一个值，前后要加上括号
(write-line "Hello World")    ; 打印一个值并换行
```
- 函数本身不需要括号就可以传入参数，即不需要 ( write(6) ) 。
- 缺点是括号嵌套多层之后的可读性较差。

Lisp 的括号表达式采用前缀表示法：将运算符写在操作数之前。

(write (+ 1 2 3))             ; 相当于 write(1 + 2 + 3)
(write (* 3 (+ 1 2) ))        ; 相当于 write((1 + 2) * 3)

# 变量

定义全局变量：
```
(defvar x 3.14)
(write x)
```
- 变量的值只能是数字类型。
定义局部变量：
```
(setq x 3.14)
(setq y x)
(write y)
```

# 流程控制

if 语句：

(setq x 3.14)
(if (> x 3)
  (format t "~% x is large enough")       ; if 条件为真时，执行第一个代码块
  (format t "~% x is not big enough")     ; if 条件为假时，执行第二个代码块
)

# 函数

定义函数：
```
(defun average (x y)
  (/ ( + x y) 2)
)
```
- 函数内最后一个执行的表达式的取值会作为函数的返回值。
调用函数：
```
(write(average 10 20))
```