这个系列终于写完,很是费了我不少力气,因为我从小语文就一直不太好,有时很难表达清楚自己的意思。这次算是自己撵着自己这只鸭子上架吧。
8 v8 m$ l% ]* E! ^& o. R; [
) g; m4 N2 N0 u/ RLisp的历史十分悠久,据说仅次于Fortran,算得上是第二古老的语言。对于Fortran,语言学家给予的负面评价远比正面评价多,甚至在很多场合被作为程序设计语言的反面教材;但是Lisp则刚好相反,它一直被人们作为一个优秀作品的例子被大加赞扬,这些人中包括著名的计算机科学家,Smalltalk的发明人——Alan Kay。
7 a9 h3 m! i/ V3 g3 i+ G" [5 G! C) g8 B% s
有一个传言,据说McCarthy当时想把这门语言的语法设计往后拖一拖,等到他把一些有趣的事做完之后,再回过头来给这门基于Lambda演算理论的语言加上一些数学家们熟悉的语法,可是他的一个学生发现,在一个还没有定义正式语法的抽象语法中写程序,感觉非常好,于是McCarthy干脆就决定不定义Lisp的语法。直到如今,Lisp的“语法”定义中值得一提的规则似乎只有一条“括号要配对”,其它的都是“语义”上的规范。/ I. C, K; t" M7 r* b
6 M. l" ^. K( K8 Z
这样做当然不是没有代价的,很快Lisp就出现了第一个分支Scheme。这个语言由Guy Steele, Jr.和他的老师Gerald Sussman设计。这两位最开始的工作是改进Lisp,他们共同把Lisp由Dynamic scope变成了Lexical scope。今天几乎大家熟悉的所有语言都是Lexical scope。后来他们共同把Continuation这个概念引入了Lisp,于是一门新语言就这样诞生。
8 M( h# X) J! Q* D( N- n5 {/ u
$ f. w0 ]# l& u1 T/ X& V8 H随后,Sussman把Lexical scope和Scheme中的一些其它概念都引入了Lisp,并由此确立了Common Lisp的标准,Sussman本人也一直是Common Lisp的主力。
5 h( k! K6 j5 A4 z
5 Z- X, ]; W3 j作为一门最早出现的FP语言,Lisp当然有它的缺点,其中最为人诟病的恐怕就是括号了,所以随后出现的许多FP语言都试图使用另外的语法来清晰的描述程序,这其中最著名的当属Haskell(也许还有Caml?),Haskell是一门“纯正”的FP语言,在Haskell中,变量不能赋值,没有循环,甚至没有程序流程,一切都是函数。; S* O. @& z& g7 [3 Z
. z# _3 I/ y: D(注:我个人认为,想要领会FP的精髓,用Haskell入门似乎更合适)0 w2 U K, S* i, ^$ R7 K
; e1 Z& x* j6 g7 X8 f: t# h近年来,随着FP的进一步流行,许多命令式语言当中也逐步加入了FP的成分,典型如C++中的“functor”,如果你用过STL或者Boost,你会发现利用functor可以完成很多不可思议的功能。就我个人的经验,functor最密集的应用是在Boost.Spirit库中,它可以让你用一大堆Parse/Match Functor构造一个复杂的语法分析器。. h1 U& `9 ~% w* Q( I4 o
- l+ {: ?: S8 T3 z4 R
熟悉一门函数式语言,用心体会它的妙用。在你转变思维方式后,你会发现即便是原来你熟悉的命令式语言也能发挥出更大的威力。
" ^# @4 D9 W B- c
?2 H( g1 S) p) z9 F
/ O/ y+ f; N% S. {8 a--------------------------------------------------------------------------------
O) h' d0 A+ |# v5 b
- B0 P- ]2 u9 I参考文献:6 d' D4 n) [9 U" @4 m/ q# V5 c
+ n6 G& r* L6 K
“Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part1.” Communication of the ACM 3:4, April 1960. / d1 y" |8 e0 G/ v- O. d
“The Art of the Interpreter, or the Modularity Complex (Parts Zero, One, and Two)”, Guy Lewis Steele, Jr. and Gerald Jay Sussman, MIT AL Lab Memo 453, May 1978. 4 ?# V/ j" ~: J9 P
“Lisp 1.5 Programmer's Manual”, John McCarthy, Paul W. Abrahams, Daniel J. Edwards, Timothy P. Hart, Michael I. Levin.
, m" m+ z) O" h5 @2 X8 x
, p* N. z7 e9 k) ?--------------------------------------------------------------------------------6 f" Q* N0 s7 k$ y) u, g" [
7 a& }5 e/ w& d4 J' D! R
在线资源:7 [4 O$ x& d7 d, C8 M1 z: M% w
% q. q6 G- W& V1 J" X4 m0 L
可免费获取的Windows版的Common Lisp版本似乎不多,能想到的只有一个CLISP,网址在:
2 P) I3 t( z! G, L) Hhttp://clisp.cons.org ) a, k ^6 e* O/ ~( B0 F( g
可用于Linux的Common Lisp我知道的有CMUCL和SBCL,网址分别是:
( ?7 u/ [. E- Y! b' @CMUCL: http://www.cons.org/cmucl/
$ d9 n7 B5 A3 W) X) ~ QSBCL: http://sbcl.sourceforge.net
5 h6 I! ]3 B R8 _另外,一个被广泛应用于Gnome中的Scheme实现——guile也包含在绝大多数Linux发行版里。
( C, p. X8 V$ o4 q对Haskell有兴趣的朋友可以去http://www.haskell.org 找到很多关于Haskell的信息,同时,在http://www.haskell.org/hugs/ 你可以下载到Windows版和Linux/Unix版的Haskell解释器——Hugs98。 |