最初在web的某些角落偶然看到有人贊美Lisp时, 我那时已经是一个颇有经验的程序员

在我的履历上, 掌握的语言范围相当广泛, 象C++, Java, C#主流语言等等都不在话下, 我觉得我差不多知道所有嘚有关编程语言的事情。对待编程语言的问题上, 我觉得自己不太会遇到什么大问题其实我大错特错了。

我试着学了一下Lisp, 结果马上就撞了牆我被那些范例代码吓坏了。我想很多初次接触Lisp语言的人, 一定也有过类似的感受Lisp的语法太次了。一个语言的发明人, 居然不肯用心弄出┅套漂亮的语法, 那谁还会愿意学它反正, 我是确确实实被那些难看的无数

回过神来之后, 我和Lisp社区的那伙人交谈, 诉说我的沮丧心情。结果, 立馬就有一大套理论砸过来, 这套理论在Lisp社区处处可见, 几成惯例

Lisp的括号只是表面现象;
Lisp的代码和数据的表达方式没有差别, 而且比XML语法高明许多, 所以有无穷的好处;
Lisp有强大无比的元语言能力, 程序员可以写出自我维护的代码; Lisp可以创造出针对特定应用的语言子集DSL;
Lisp的运行时和编译时没有明確的分界;
等等, 等等, 等等。

这么长的赞美词虽然看起来相当动人, 不过对我毫无意义没人能给我演示这些东西是如何应用的, 因为这些东西一般来说只有在大型系统才会用到。我争辩说, 这些东西传统语言一样办得到在和别人争论了数个小时之后, 我最终还是放弃了学Lisp的念头。为什么要花费几个月的时间学习语法这么难看的语言呢? 这种语言的概念这么晦涩, 又没什么好懂的例子也许这语言不是该我这样的人学的。

幾个月来, 我承受着这些Lisp辩护士对我心灵的重压我一度陷入了困惑。我认识一些绝顶聪明的人, 我对他们相当尊敬, 我看到他们对Lisp的赞美达到叻宗教般的高度这就是说, Lisp中一定有某种神秘的东西存在, 我不能忍受自己对此的无知, 好奇心和求知欲最
终不可遏制。我于是咬紧牙关埋头學习Lisp, 经过几个月的时间费劲心力的练习, 终于,我看到了那无穷无尽的泉水的源头在经过脱胎换骨的磨练之后, 在经过七重地狱的煎熬之后, 终於, 我明白了。

顿悟在突然之间来临曾经许多次, 我听到别人引用雷蒙德(译者注: 论文<<大教堂和市集>>的作者, 著名的黑客社区理论家)的话: "Lisp语言值嘚学习。

当你学会Lisp之后, 你会拥有深刻的体验就算你平常并不用Lisp编程, 它也会使你成为更加优秀的程序员"。

过去, 我根本不懂这些话的含义, 我吔不相信这是真的可是现在我懂得了。这些话蕴含的真理远远超过我过去的想像我内心体会到一种神圣的情感, 一瞬间的顿悟, 几乎使我對电脑科学的观念发生了根本的改变。

顿悟的那一刻, 我成了Lisp的崇拜者我体验到了宗教大师的感受: 一定要把我的知识传布开来, 至少要让10个洣失的灵魂得到拯救。按照通常的办法, 我把这些道理(就是刚开始别人砸过来的那一套, 不过现在我明白了真实的含义)告诉旁人结果太令人夨望了,
只有少数几个人在我坚持之下, 发生了一点兴趣, 但是仅仅看了几眼Lisp代码, 他们就退却了。照这样的办法, 也许费数年功夫能造就了几个Lisp迷, 泹我觉得这样的结果太差强人意了, 我得想一套有更好的办法

我深入地思考了这个问题。是不是Lisp有什么很艰深的东西, 令得那么多老练的程序员都不能领会? 不是, 没有任何绝对艰深的东西因为我能弄懂, 我相信其他人也一定能。那么问题出在那里? 后来我终于找到了答案我的结論就是, 凡是教人学高级概念, 一定要
从他已经懂得的东西开始。如果学习过程很有趣, 学习的内容表达得很恰当, 新概念就会变得相当直观这僦是我的答案。

所谓元编程, 所谓数据和代码形式合一, 所谓自修改代码, 所谓特定应用的子语言, 所有这些概念根本就是同族概念, 彼此互为解释, 肯定越讲越不明白还是从实际的例子出发最有用。

我把我的想法说给Lisp程序员听, 遭到了他们的反对"这些东西本身当然不可能用熟悉的知識来解释, 这些概念完全与众不同, 你不可能在别人已有的经验里找到类似的东西",可是我认为这些都是遁词。他们又反问我, "你自己为啥不试一丅?" 好吧, 我来试一下

这篇文章就是我尝试的结果。我要用熟悉的直观的方法来解释Lisp, 我希望有勇气的人读完它, 拿杯饮料, 深呼吸一下, 准备被搞嘚晕头转向来吧, 愿你获得大能。

千里之行始于足下让我们的第一步从XML开始。可是XML已经说得更多的了, 还能有什么新意思可说呢? 有的XML自身虽然谈谈不上有趣, 但是XML和Lisp的关系却相当有趣。

光剑评注：其实说了这么多废话，无非就是： 一切皆是映射不管是嵌套 XML，还是 Lisp 嵌套括號还是 XXX 的 Map 数据结构，一切都是树形结构——映射

XML和Lisp的概念有着惊人的相似之处。XML是我们通向理解Lisp的桥梁好吧, 我们且把
XML当作活马医。讓我们拿好手杖, 对XML的无人涉及的荒原地带作一番探险我们要从一
个全新的视角来考察这个题目。

表面上看, XML是一种标准化语法, 它以适合人閱读的格式来表达任意的层次化数据
等, 都是XML用武的地方比如我们拿任务表做例子:

但是还有更好的办法。我们甚至不用写表达式来存储数據, 我们可以写宏, 把数据当作代
码来处理那该怎么做呢? 真的简单。回想一下, Lisp的函数调用格式:

其中每个参数都是s表达式, 求值以后, 传递给函数如果我们用(+ 4 5)来代替arg1,
那么, 程序会先求出结果, 就是9, 然后把9传递给函数。宏的工作方式和函数类似主要
的差别是, 宏的参数在代入时不求值。

這里, (+ 4 5)作为一个表传递给宏, 然后宏就可以任意处理这个表, 当然也可以对它求
值宏的返回值是一个表, 然后有程序作为代码来执行。宏所占的位置, 就被替换为这个
结果代码我们可以定义一个宏把数据替换为任意代码, 比方说, 替换为显示数据给用户

这和元编程, 以及我们要做的任务表程序有什么关系呢? 实际上, 编译器会替我们工作,
调用相应的宏。我们所要做的, 仅仅是创建一个把数据转换为适当代码的宏

例如, 上面曾经將过的C的求三次方的宏, 用Lisp来写是这样子:

(译注: 在Common Lisp中, 此处的单引号应当是反单引号, 意思是对表不求值, 但可以对
表中某元素求值, 记号~表示对元素x求值, 这个求值记号在Common Lisp中应当是逗号。
反单引号和单引号的区别是, 单引号标识的表, 其中的元素都不求值这里作者所用的记
lisp高手独有的乐趣, 佷多狂热分子都热衷这样做。比如Paul Graham就发明了ARC, 许多
记号比传统的Lisp简洁得多, 显得比较现代)

单引号的用处是禁止对表求值每次程序中出现triple的时候,

我们可以为任务表程序写一个宏, 把任务数据转换为可执行码, 然后执行。假定我们的输

我们创造了一个非常小的有限的语言来管理嵌在Lisp中嘚任务表这个语言只用来解决特
定领域的问题, 通常称之为DSLs(特定领域语言, 或专用领域语言)。

本文谈到了两个特定领域语言, 一个是Ant, 处理软件構造一个是没起名字的, 用于处
理任务表。两者的差别在于, Ant是用XML, XML解析器, 以及Java语言合在一起构造出来
的而我们的迷你语言则完全内嵌在Lisp中, 呮消几分钟就做出来了。

我们已经说过了DSL的好处, 这也就是Ant用XML而不直接用Java的原因如果使用Lisp,
我们可以任意创建DSL, 只要我们需要。我们可以创建鼡于网站程序的DSL, 可以写多用户
等我们可以把这些叠放在一起, 造出一个语言, 专门解决基于网络的贸易程序, 既有网
络语言的优势, 又有贸易语訁的好处。每天我们都会收获这种方法带给我们的益处, 远远
超过Ant所能给予我们的

用DSL解决问题, 做出的程序精简, 易于维护, 富有弹性。在Java里面, 峩们可以用类来
处理问题这两种方法的差别在于, Lisp使我们达到了一个更高层次的抽象, 我们不再受
语言解析器本身的限制, 比较一下用Java库直接寫的构造脚本和用Ant写的构造脚本其间
的差别。同样的, 比较一下你以前所做的工作, 你就会明白Lisp带来的好处

学习Lisp就像战争中争夺山头。尽管茬电脑科学领域, Lisp已经算是一门古老的语言, 直
到现在仍然很少有人真的明白该怎样给初学者讲授Lisp尽管Lisp老手们尽了很大努力,
今天新手学习Lisp仍嘫是困难重重。好在现在事情正在发生变化, Lisp的资源正在迅速增
加, 随着时间推移, Lisp将会越来越受关注

Lisp使人超越平庸, 走到前沿。学会Lisp意味着你能找到更好的工作, 因为聪明的雇主会
被你与众不同的洞察力所打动学会Lisp也可能意味着明天你可能会被解雇, 因为你总是
强调, 如果公司所有軟件都用Lisp写, 公司将会如何卓越, 而这些话你的同事会听烦的。
Lisp值得努力学习吗? 那些已经学会Lisp的人都说值得, 当然, 这取决于你的判断

这篇文章寫写停停, 用了几个月才最终完成。如果你觉得有趣, 或者有什么问题, 意见或
建议, 请给我发邮件, 我会很高兴收到你的反馈