应用序和正则序

应用序（Applicative-Order）求值是指：先递归对过程的所有的参数求值，然后将这些参数的值应用与该过程；

正则序（Normal-Order）求值是指：先将过程完全展开，直至得到只包好基本运算符的表达式，然后执行求值（规约）。

---

Lisp采用的是应用序求值，主要原因在于正则序求值处理更加复杂，而且存在对于表达式的重复求值，因此应用序求值能提高效率。

另外，Lisp里存在着一些特殊形式的过程，如 if 和 cond ，它们采用的是懒惰求值，即依次对参数进行求值，直至找到合适的为止。比如，

cond 过程的一般性形式为：

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

首先求值谓词p1，若值为false，就求值谓词p2，若p2值亦为false，则求值p3。就这样一直执行下去，直到某个谓词pk求值结果为true，则返回ek，过程停止。

---

例如：

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

然后进行求值：（ test 0 （p））

如果采用正则序求值：(test 0 (p)) ---> ( if (= 0 0) 0 (p) ) ---> 0

如果采用应用序求值：(test 0 (p)) ---> ( test 0 (p)) ---> (test 0 (p)) --->... ... [无限循环]