我一直遗憾 Lisp 没有指针,对于动态作用域的 newLISP 可以用传递符号来传递一个不求值的引用。 但对于 Scheme 这种静态函数作用域的语言,如何传递引用呢?
用宏!宏不对参数进行求值,只是传递符号,在宏内部再进行求值,这样就省却了传递值的开销。
> (define (pass-value x) x)
> (define-macro (pass-ref x) (eval x))
> (time (pass-value (sequence 1 1000)) 10000)
324.019
> (time (pass-ref (requence 1 1000)) 10000)
166.009
那么 Lisp 为什么会有 quote 呢?难道是为了:
(list 1 2 3) '(1 2 3)
quote list, 可以对其内的表达式暂缓求值,成为处理许多未知函数的一个避风港。这种语言特性是 Lisp 独有的。