第一章 构造过程抽象

欢迎关注个人博客网站 waterlaw.top

心智的活动， 除了尽力生产各类简单的认识以外，主要表如今以下三个方面：

1）
将若干简单的认识组合为一个复合的认识， 由此产生出各类复杂的认识。

2）将两个认识放在一块儿对照，无论它们如何简单或者复杂，在这样作时并不将它们合而为一。由此获得有关它们的相互关系的认识。

3）将有关认识与那些在实际中和它们同在的全部其余认识隔离开，这就是抽象，全部具备广泛性的认识都是这样获得的。

-- John Locke. （有关人类理解的随笔， 1690）

Lisp 语言包含了 9 种思想

1. 条件结构（即"if-then-else"结构）。如今你们都以为这是理所固然的，可是 Fortran I 就没有这个结构，它只有基于底层机器指令的 goto 结构。
2. 函数也是一种数据类型。在 Lisp 语言中，函数与整数或字符串同样，也属于数据类型的一种。它有本身的字面表示形式（literal representation），可以储存在变量中，也能看成参数传递。一种数据类型应该有的功能，它都有。
3. 递归。Lisp 是第一种支持递归函数的高级语言。
4. 变量的动态类型。在 Lisp 语言中，全部变量实际上都是指针，所指向的值有类型之分，而变量自己没有。复制变量就至关于复制指针，而不是复制它们指向的数据。
5. 垃圾回收机制。
6. 程序由表达式（expression）组成。Lisp 程序是一些表达式区块的集合，每一个表达式都返回一个值。这与 Fortran 和大多数后来的语言都大相径庭，它们的程序由表达式和语句（statement）组成。区分表达式和语句，在 Fortran I 中是很天然的，由于它不支持语句嵌套。因此，若是你须要用数学式子计算一个值，那就只有用表达式返回这个值，没有其余语法结构可用，由于不然就没法处理这个值。
7. 符号（symbol）类型。符号其实是一种指针，指向储存在哈希表中的字符串。因此，比较两个符号是否相等，只要看它们的指针是否同样就好了，不用逐个字符地比较。
8. 代码使用符号和常量组成的树形表示法。
9. 不管何时，整个语言都是可用的。Lisp 并不真正区分读取期、编译期和运行期。你能够在读取期编译或运行代码；也能够在编译期读取或运行代码；还能够在运行期读取或者编译代码。

应用序与正则序

正则序： 解释器首先对运算符和各个运算对象求值，然后将获得的过程应用于实际的参数。举个粒子：
预先定义：

(define (square x)
    (* x x))
(define (sum-of-squares x y)
    (+ (square x) (square y)))
(define (f a)
(sum-of-squares (+ a 1) (+ a 2)))

求表达式 (f, 5) 的值。

(sum-of-squares (+ 5 1) (+ 5 2))
(+ (square (+ 5 1)) (square (+ 5 2)))
(+ (* (+ 5 1) (+ 5 1)) (* (+ 5 2) (+ 5 2)))
(+ (* 6 6) (* 7 7))
(+ 36 49)
85

这种“彻底展开然后归约”的求值模型称为正则序求值。与之相对的是现代解释器采用的是先求值参数然后应用的方式，它称为应用序求值。

条件表达式和谓语

(cond (<e1> <p1>)
(<e2> <p2>)
..
(<en> <pn>))

(if <pred> <conse> <alter>)
(and <e1> <e2> ...<en>)
(or <e1> <e2> ... <en>)
(not <e>)

实例

Ben 发明了一种方法检测解释器采用哪一种方式求值，他定义了一个过程：

(define (p) (p))
(define (test x y)
(if (= 0 x)
    0
    y))

然后他求下面表达式的值：

(test 0 (p))

若是解释器采用应用序求值， Ben 将会看到什么？ 若是解释器采用正则器求值， Ben 又会看到什么？假设 if 语句在两种求值方式中的规则是同样的， 即谓词老是先被执行。

答： 若是解释器采用应用序求值， 那么必须知道表达式 (p) 的值， (p) 是一个调用本身的函数。

(test 0 (p))
(test 0 (p))
...

反之若是解释器采用正则序求值，那么

(test 0 (p))
(if (= 0 0)
0
(p))
0

说明性知识与行动性知识

采用牛顿法求平方根

平方根函数可定义为： 根号 x = 存在这样的 y, y >= 0 而且 y^2 = x;

(define (sqrt x)
(the y (and (>= y 0)
(= (sqrt y) x)
))

这样又从新提出了原来的问题。函数只不过是描述一件事情的特征，并无描述如何计算的过程。在数学里，人们一般关心的是说明性的描述（是什么），而在计算机科学，人们一般更关心行动性的描述（怎么作）。计算机如何计算平方根呢？ 最经常使用的就是牛顿的逐步逼近法。这一方法告诉咱们：若是。。。