(a-puls-abs-b a b)
代换为
((if (b > 0) + -) a b)
当b > 0时代换为
(+ a b)
当b <= 0时代换为
(- a b)
这里我们可以看到 在lisp中+和-的地位不是特殊的运算符（operater） 而是普通的过程（procedure） 这也是一个十分明显的函数式特征