为什么“无人问津”的Lisp可以这么狂？

一到周末&＃xff0c;Hello World 咖啡馆就比平时热闹得多&＃xff0c; 各种语言都来到这里&＃xff0c;互相打探对方的最新特性&＃xff0c;看看自己能不能借鉴一些。 

这天晚上&＃xff0c;由于Lisp的到来&＃xff0c;咖啡馆的气氛显得格外热烈。 

Lisp

Lisp身穿一身时髦又奇异的括号服装&＃xff0c; 和Clojure, Scala等几个函数式编程的忠实拥趸坐在一桌&＃xff0c;谈笑风声&＃xff0c;时不时挖苦一下隔壁的几个人&＃xff0c;那里坐着以C语言为首的几个大佬。 

他悠闲地端起了一杯咖啡&＃xff0c;悠悠地说道&＃xff1a;“听说Java也用上了函数式编程&＃xff1f; ”

Clojure道&＃xff1a;“是啊&＃xff0c;加上去没多久&＃xff0c;好多人还没用熟呢&＃xff01;”

Lisp不屑地说道&＃xff1a;“加上了也没用&＃xff0c;不是我瞧不起他们&＃xff0c;表达能力实在是太弱了&＃xff01;”

隔壁的C语言早就憋了一肚子火&＃xff0c; 听到这句话&＃xff0c;忍不住说道&＃xff1a;“你嘚瑟什么呀&＃xff0c;我知道你是基于Lambda演算的&＃xff0c;但我们是基于图灵机的啊&＃xff0c; 上世纪已经证明这图灵机和Lambda演算是等价的&＃xff0c;所以我们的能力是一样的。 对了&＃xff0c;你知不知道什么是图灵机&＃xff0c;以及他的实现冯诺依曼架构啊&＃xff1f;”

Lisp懒懒地说&＃xff1a;“没兴趣了解&＃xff0c;理论上计算能力是等价的&＃xff0c;但并不代表在语言层面的表示一样&＃xff0c;比如说&＃xff0c;在我这里非常自然的函数式编程&＃xff0c;在你们那里看起来就很别扭&＃xff0c;是不是啊Java老弟&＃xff1f;” 

Java有点不好意思&＃xff0c;他很清楚&＃xff0c;自己的函数式编程就是一个半吊子&＃xff0c;所谓的Lambda表达式就是个接口实现而已。

&＃xff08;详情参见&＃xff1a;《Lambda表达式有什么用&＃xff1f;》&＃xff09;

Python出来解围&＃xff1a;“ 我这里支持得很好啊&＃xff0c;  我可以把函数当做参数进行传递&＃xff0c;可以把函数当做返回值返回&＃xff0c;还可以把函数保存到数据结构中&＃xff01;高阶函数map, reduce用起来也贼爽。”

Javascript接口道&＃xff1a;“我也是啊&＃xff01;”

程序就是数据

Lisp 笑了一下&＃xff0c;接着问道&＃xff1a;“你们能在运行时创建新的函数吗&＃xff1f;”

Java 看到展示自己的机会来了&＃xff0c;马上接口道&＃xff1a;“怎么不能&＃xff1f; 在程序运行的时候&＃xff0c;我可以通过操作Java字节码的方法&＃xff0c;动态地生成函数和类&＃xff0c;人们经常说的AOP就是这么玩的。”

Lisp很不屑&＃xff1a;“还操纵字节码&＃xff0c;还AOP&＃xff0c;麻烦不麻烦!  低级不低级&＃xff01;丢人不丢人! ”

Java一脸愕然。

Lisp开始放大招&＃xff1a; “你们能不能写个函数&＃xff0c;把代码传递进去&＃xff0c;然后对代码进行修改&＃xff0c;然后返回新的代码&＃xff1f;”

一个修改代码的函数&＃xff1f;  代码可以在运行时修改&＃xff1f; 这不是自虐吗&＃xff1f;

“哈哈&＃xff0c;这你们就不懂了吧&＃xff0c; 凭什么数据结构可以变化&＃xff0c;并且其中的数据可以修改&＃xff0c;而程序却不能呢&＃xff1f;在我这里&＃xff0c;代码就是数据&＃xff0c;代码可以在运行时被修改。”  Lisp很得意。

Javascript愤愤地说&＃xff1a;“这有什么鸟用&＃xff1f;”

Lisp看了看身边的Java &＃xff0c;又拿他开刀&＃xff1a;“就拿你来举例吧&＃xff0c; 你最早只有for 循环&＃xff0c;没有for each 循环&＃xff0c; 就是下面这样&＃xff0c; 是不是被很多人骂啊&＃xff1f;”

普通for 循环

for(int i&＃61;0;i}


for each 循环

for (Person p : perons){System.out.println(p);
}


Java无奈地点点头&＃xff0c;Lisp说的是实话。

“这就是了&＃xff0c;要想把这个新的语法给加上&＃xff0c;那必须得在语言层面修改才行&＃xff0c;对吧&＃xff1f; 语言不支持&＃xff0c;程序员骂也没用。 但是在我Lisp里就不一样了&＃xff0c;根本就不用改动语言&＃xff0c;一个程序员就能把这个新的语法给加上&＃xff0c;并且新的for each 和 老的for 处于同等地位&＃xff0c;相当于语言被扩展了。 ”

“不会吧&＃xff0c;你怎么实现&＃xff1f;” 

“自然是使用宏&＃xff08;Macro&＃xff09;了&＃xff01;”

“什么是宏&＃xff1f; 和C老大的宏一样吗&＃xff1f;” Java问道。

“C语言的宏就是编译期的文本替换而已&＃xff0c;怎么能和我的宏相比&＃xff1f; 给你说你也听不懂&＃xff0c;通俗点说宏也是程序员写的代码&＃xff0c; 运行时可以把代码传递给宏&＃xff0c;然后宏可以修改这段代码&＃xff0c;返回新的代码。 拿刚才的例子来说&＃xff0c;假设for是个函数&＃xff0c;程序员可以写一个for-each 的宏&＃xff0c;在这个宏中&＃xff0c;修改/扩展for函数的代码&＃xff0c;实现for each的功能。”

C语言若有所思&＃xff1a;“嗯&＃xff0c;看来在你这里&＃xff0c;程序也是数据啊&＃xff0c;可以任意操作&＃xff0c;果然厉害。如果把一段程序看成是抽象语法树(AST)&＃xff0c;那这个宏就相当于把AST做了修改&＃xff0c;形成了新的AST。”

Lisp心想&＃xff0c;这老家伙还不赖&＃xff0c; 已经Get到了。  

他说&＃xff1a;“你们老是笑话我的括号多&＃xff0c;但是你们不明白的是&＃xff0c;这恰恰是我最大的优势&＃xff0c;因为在我这里&＃xff0c;数据和程序表示的方式是一致的&＃xff0c;都是list&＃xff0c;比如这一段简单的循环。”

(loop for x in &＃39;(1 2 3 4 5)do (print x) )


大家一看&＃xff0c;果然如此&＃xff0c;这代码&＃xff08;loop函数&＃xff09;是用括号括起来的一个List&＃xff0c; 这数据(1 2 3 4 5)也是一个List。

Lisp说&＃xff1a;“List的好处就是天然可以和AST对应&＃xff0c;这就方便宏来操作了。”

开发语言的语言

Javascript说&＃xff1a;“我还是看不出有什么用&＃xff1f;”

Lisp接着说&＃xff1a;“正是由于程序可以当做数据来处理&＃xff0c;程序员可以无限地扩充Lisp&＃xff0c;把Lisp变成他们所在领域的语言&＃xff0c;使用这个领域特定的语言来编程&＃xff0c;那简直是如虎添翼&＃xff0c;例如这个例子&＃xff0c;通过扩展Lisp,   Lisp和SQL语言完美地融合了。 ”

(select [age] :from [employee] :where [> [salary] 50000])


“再比如说&＃xff0c; 在座的各位大都支持面向对象编程&＃xff0c;对我来说&＃xff0c;在我这里实现OOP也是小菜一碟&＃xff0c;比如Common Lisp中的CLOS&＃xff0c;就是用宏实现的OOP操作集。”

大家都表示很好奇&＃xff0c; Lisp就展示了几行代码&＃xff1a;

定义一个叫Person的类

(defclass person ()((name :accessor person-name:initarg :name)(age :accessor person-age:initarg :age)))


创建一个person对象

(setf p (make-instance &＃39;person :name "andy" :age 10))


访问对象的属性

(print (person-name p))


看到这里&＃xff0c;大家都自愧弗如了&＃xff0c; 这Lisp真有狂的资本啊。 

C 语言说到&＃xff1a;“看来你Lisp是用来开发其他语言的语言啊&＃xff01;”

Lisp笑道&＃xff1a;“这句话不错&＃xff0c;在我这里&＃xff0c;语言和程序之间的界限是非常模糊的。”

最后的反击

C语言问了最后一个问题&＃xff1a;“既然你这么牛&＃xff1f; 为什么用的人这么少&＃xff1f;”

Lisp站起身来&＃xff0c;叹了一口气&＃xff1a;“有人说学起来门槛太高&＃xff1b;有人说灵活与强大是一把双刃剑&＃xff0c;每个人都能造属于自己的领域特定语言&＃xff0c;让别人难以理解和维护&＃xff1b;还有人说Lisp方言很多&＃xff0c;社区分裂&＃xff0c;没有统一的库让新手学习使用。 谁知道呢&＃xff1f;”

说完Lisp便离开了&＃xff0c;只留下一个满是括号的背影。

最新热门文章

为什么学习编程要从Web开始&＃xff1f;

我是一个线程

我是一个Java Class

CPU阿甘

面向对象圣经

TCP/IP之大明邮差

负载均衡的原理

一个故事讲完HTTPs

编程语言的巅峰

Javascript&＃xff1a;一个屌丝的逆袭