Lisp: 我不是为了 (zhuang) 宏(bi)，我只是为了(ke)读(du)取(xing)

from http://jlongster.com/Lisp--It-s-Not-About-Macros,-It-s-About-Read

注意：这儿的例子仅仅在 https://github.com/jlongster/outlet 有效，请参考你熟悉的 lisp/scheme 版本中的 read (或者叫其他的什么 forms ) 相关文档。

我知道这是挖坟，但是此文 http://kuomarc.wordpress.com/2012/02/02/why-i-love-common-lisp-and-hate-java-part-ii-code-examples/ 带了错误的路。其中宏的使用非常令人困惑，用函数会更好点。作者承认了这点，但是他依然这么干了，而且 https://kuomarc.wordpress.com/2012/02/13/why-i-love-common-lisp-and-hate-java-part-iii-macros/ 这篇文章更多的关注了宏，但是依然没有突出重点。

真理是：真的不是为了(zhuang)宏(bi)而宏的。

Lisp 的优势更长远。让我们停止把宏往人脸上糊（并且说宏是唯一更好的抽象方式）。那些人想不通是因为这需要亲自体会。如果只用普通的函数就很合适的情况下还用宏，就更让人困惑了。"Why do you need a macro(宏)? I can abstract the same thing with a function!"

我不是为了 (zhuang) 宏(bi)，我只是为了(ke)读(du)取(xing)

read 是一个内置的读取对象的函数，在大多数的 lisp 实现中。对象可以是任何原子（数字，字符串，等等），或者一个数据结构比如 list，下面是例子：

(read "3") ; 3
(read "foo") ; '>>> 'foo
(read "\"foo\"") ; "foo"
(read "(foo bar baz)") ; (list 'foo 'bar 'baz)

稍等，看看 lisp 的代码，他真的都是 list 组成的：

(define (foo x)
  (+ x 1))

一旦你理解了 lisp 代码就是数据 (即：atom 列表)，那么你懂了，你能用 read in 来读取 lisp 代码作为数据。由于 lisp 提供了一组函数，优雅的处理列表，解析 lisp 代码突然就变得很简单了。

举个栗子：

;; program.lisp

(define (foo x)
  (+ x 1))

;; our parser

;; get-file-contents returns a file's contents as a string
;; (defined elsewhere)
(define src (get-file-contents "program.lisp"))

;; src is a string, turn it into data
(define forms (read src))

;; `car` retrieves the first item of a list
(display (car forms)) ; 'define

;; `cons` puts an item at the beginning of the list
;; `cdr` gets the rest of the list after the first item
;; `cadr` is a combination, equal to (car (cdr x))
;; `cddr` is a combination, equal to (cdr (cdr x))
(let ((name-args (cadr forms)))
  (cons 'lambda
        (cons (cdr name-args)
              (cddr forms))))

;; output: (lambda (x) (+ x 1))

我们这就写了个把所有的 define 表达式转换为 lambda 表达式。

这应该是另人印象深刻的。python js 你怎么做？你需要转换成 ast ，还要学习很多内置方法来解析他。在 lisp 代码就是 ast 结构的数据。

把 read 看成 js 中的 JSON.parse ，js 代码和数据是不同的， JSON.parse 也不能解析所有的东西。在 lisp 他们都是一样的。

宏

宏究竟是啥？它只为了读取打包的漂漂亮亮的数据到正式系统中。你能在编译器上安装宏功能。编译器把程序作为数据读入，用解析并查找宏调用的方式展开他。当找到一个宏调用，编译器把程序作为数据传给宏，这时你可以对程序做任何事情。然后你返回一些数据给编译器，作为代码来解析执行。

如果你依然没被说服，这里，你能写一个 30 行的 lisp 来实现一个宏系统 https://gist.github.com/1712455，你只需要 read ，并且它很简单。

所以这有什么意义呢

我不想这篇文章变成“Lisp 真是太酷啦”类型的又一篇文章，每个语言都有他自己的益处，选择你喜欢的。

我只想解释清楚，为什么 lisp 族人呼吁宏。他基于 lisp 代码即数据的事实，象征着更强大的一种能力。如果你真的对此好奇，我鼓励你跟随所想，你会发现你想知道的东西。

一些例子，有这些功能的话那么：调试工具变得很容易写（比如一个 40行 tracer https://gist.github.com/1840230 ）单元测试能追踪到失败的原始表达式，所以它能展示出错误背后真正所发生的情况。我很难展示出这特性所包含的所有潜力。

我喜欢Paul Graham的文章 “超越平凡” http://www.paulgraham.com/avg.html 下的这个评论：

Viaweb 编辑器的源代码，可能有 20 - 25%的宏。宏比普通的 lisp 函数难写，而且在没必要使用宏的地方，宏被视作不好的代码风格。所以每个宏都是不得不用的时候才写的。也就是说至少 20 - 25% 的代码功能很难用任何别的语言轻易的做到的。无论如何，炮灰猴子可能依然怀疑这神秘的 lisp 能力，这应该会让他感到很古怪。

如果函数比宏更合适，不要考虑这么小的尺度。在更大的尺度上考虑，如果你能写一个解析器来对你的代码做一些疯狂的必要的事情，也许这只要 50 行代码，这是别的语言无法做到的。