这个系列终于写完,很是费了我不少力气,因为我从小语文就一直不太好,有时很难表达清楚自己的意思。这次算是自己撵着自己这只鸭子上架吧。* {4 B5 i$ [ ^% ]' P
7 A9 |( d Y7 I: o+ e) \1 ~Lisp的历史十分悠久,据说仅次于Fortran,算得上是第二古老的语言。对于Fortran,语言学家给予的负面评价远比正面评价多,甚至在很多场合被作为程序设计语言的反面教材;但是Lisp则刚好相反,它一直被人们作为一个优秀作品的例子被大加赞扬,这些人中包括著名的计算机科学家,Smalltalk的发明人——Alan Kay。
5 [1 b' D: ?, K* t! q% [9 `- j. K+ d/ I
有一个传言,据说McCarthy当时想把这门语言的语法设计往后拖一拖,等到他把一些有趣的事做完之后,再回过头来给这门基于Lambda演算理论的语言加上一些数学家们熟悉的语法,可是他的一个学生发现,在一个还没有定义正式语法的抽象语法中写程序,感觉非常好,于是McCarthy干脆就决定不定义Lisp的语法。直到如今,Lisp的“语法”定义中值得一提的规则似乎只有一条“括号要配对”,其它的都是“语义”上的规范。4 F6 c: H) Q9 \
1 L- m, I, V8 w' a# V3 {2 @这样做当然不是没有代价的,很快Lisp就出现了第一个分支Scheme。这个语言由Guy Steele, Jr.和他的老师Gerald Sussman设计。这两位最开始的工作是改进Lisp,他们共同把Lisp由Dynamic scope变成了Lexical scope。今天几乎大家熟悉的所有语言都是Lexical scope。后来他们共同把Continuation这个概念引入了Lisp,于是一门新语言就这样诞生。
" k1 b2 F+ r2 N% B6 g5 g5 {
b% L8 U* b2 X9 e4 U0 \7 K# \: p随后,Sussman把Lexical scope和Scheme中的一些其它概念都引入了Lisp,并由此确立了Common Lisp的标准,Sussman本人也一直是Common Lisp的主力。 q7 J6 o1 N2 S4 v) J/ F, E
# Z" D* c: V: d1 C! @7 g
作为一门最早出现的FP语言,Lisp当然有它的缺点,其中最为人诟病的恐怕就是括号了,所以随后出现的许多FP语言都试图使用另外的语法来清晰的描述程序,这其中最著名的当属Haskell(也许还有Caml?),Haskell是一门“纯正”的FP语言,在Haskell中,变量不能赋值,没有循环,甚至没有程序流程,一切都是函数。
+ s% S( |. C, `# e- U; o
- ]$ l/ [4 p1 O4 z. c% j! a% C(注:我个人认为,想要领会FP的精髓,用Haskell入门似乎更合适)
; m% C# U# p# l( `& M. L. C9 ^) H2 D- N8 Z, [
近年来,随着FP的进一步流行,许多命令式语言当中也逐步加入了FP的成分,典型如C++中的“functor”,如果你用过STL或者Boost,你会发现利用functor可以完成很多不可思议的功能。就我个人的经验,functor最密集的应用是在Boost.Spirit库中,它可以让你用一大堆Parse/Match Functor构造一个复杂的语法分析器。, _, r% |2 I0 ]: @
8 }+ w$ q% t- f. R1 Y' L
熟悉一门函数式语言,用心体会它的妙用。在你转变思维方式后,你会发现即便是原来你熟悉的命令式语言也能发挥出更大的威力。1 N1 u6 @0 y& o, ~/ ~+ q
: W$ [8 W, K# [8 c3 Y/ C: I z- |
# y7 L+ i" m! d: a9 b% j/ s
--------------------------------------------------------------------------------
! O3 d W3 j4 a
7 V7 K- G; r2 H& b# {参考文献:
& h- R- R% E0 e; D( s: j0 Z2 z8 U2 o# i: `6 S+ I
“Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part1.” Communication of the ACM 3:4, April 1960.
0 [) n& _( o( T“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. 2 ~; |) n) x8 u( k
“Lisp 1.5 Programmer's Manual”, John McCarthy, Paul W. Abrahams, Daniel J. Edwards, Timothy P. Hart, Michael I. Levin., F- I! p$ m: \1 R9 a G
$ h& H# p" }5 i B% b3 M, f
--------------------------------------------------------------------------------
r5 s! Y7 j0 X' W% J, _
7 ]" M$ a6 k# x+ W. n! `* b在线资源:
2 O& G5 `3 L& r9 Y$ D1 I. i
* @7 J5 d, f$ h$ Y9 d可免费获取的Windows版的Common Lisp版本似乎不多,能想到的只有一个CLISP,网址在:
$ ~' v& K2 K1 b) N Chttp://clisp.cons.org
' C2 P5 J, y9 a可用于Linux的Common Lisp我知道的有CMUCL和SBCL,网址分别是:, R! u- ?" e. H" n+ l
CMUCL: http://www.cons.org/cmucl/
! d' p. V, X/ b9 OSBCL: http://sbcl.sourceforge.net3 Q5 T% g' W2 F0 J9 ]+ m L
另外,一个被广泛应用于Gnome中的Scheme实现——guile也包含在绝大多数Linux发行版里。
* e) p* g* k6 Q H( U对Haskell有兴趣的朋友可以去http://www.haskell.org 找到很多关于Haskell的信息,同时,在http://www.haskell.org/hugs/ 你可以下载到Windows版和Linux/Unix版的Haskell解释器——Hugs98。 |