Lisp: 我不是为了 (zhuang) 宏(bi),我只是为了(ke)读(du)取(xin
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 下的这个评论:
如果函数比宏更合适,不要考虑这么小的尺度。在更大的尺度上考虑,如果你能写一个解析器来对你的代码做一些疯狂的必要的事情,也许这只要 50 行代码,这是别的语言无法做到的。 (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |