读过sicp的同学们都知道定义函数的define语句

(define (func p1 p2) (…))

是(define func (lambda (p1 p2) (…)))的语法糖, 在lisp中, 函数就是个值, 跟普通变量一样可以传来传去. 

在当前作用域声明变量的define语句

 (define var1 val1)

又是let语句的缩写

(let ((var1 val1)

 (var2 val2))

(…))

而sicp中貌似没说, let语句实际上也就是lambda的语法糖

((lambda (var1 var2)

(…) val1 val2)

可以说, lisp中所谓的变量都是参数的变形罢了.

如果高兴, 你可以用lambda来表示pair

(define (cons x y) (lambda (f) (f x y)))

(define (car pair) (pair (lambda (x y) x)))

(define (cdr pair) (pair (lambda (x y) y)))

函数式编程的优势高阶函数与惰性编程可都是lambda带来的大礼. lambda返回一个函数而其中的语句并不会立即运行, 通过这一特性可以轻而易举地创造出无限长度的List以及很多不同的玩法, 具体内容请见sicp中关于流的那章.

用cons,car和cdr就可以构造出逻辑判断, 像这样:

(define new-true car)

(define new-false cdr)

(define (new-if condition exp1 exp2)

    (condition (cons exp1 exp2)))