这个系列终于写完,很是费了我不少力气,因为我从小语文就一直不太好,有时很难表达清楚自己的意思。这次算是自己撵着自己这只鸭子上架吧。
( s/ [( w, p+ b3 N. v2 f% X' t5 L0 D7 H& g
Lisp的历史十分悠久,据说仅次于Fortran,算得上是第二古老的语言。对于Fortran,语言学家给予的负面评价远比正面评价多,甚至在很多场合被作为程序设计语言的反面教材;但是Lisp则刚好相反,它一直被人们作为一个优秀作品的例子被大加赞扬,这些人中包括著名的计算机科学家,Smalltalk的发明人——Alan Kay。
9 C4 D# c+ j. [. J
X, R2 g) k! G6 r有一个传言,据说McCarthy当时想把这门语言的语法设计往后拖一拖,等到他把一些有趣的事做完之后,再回过头来给这门基于Lambda演算理论的语言加上一些数学家们熟悉的语法,可是他的一个学生发现,在一个还没有定义正式语法的抽象语法中写程序,感觉非常好,于是McCarthy干脆就决定不定义Lisp的语法。直到如今,Lisp的“语法”定义中值得一提的规则似乎只有一条“括号要配对”,其它的都是“语义”上的规范。5 `/ G% V/ x( H8 X4 c6 |
9 Z8 ]3 ]# q. ?" J8 y( p
这样做当然不是没有代价的,很快Lisp就出现了第一个分支Scheme。这个语言由Guy Steele, Jr.和他的老师Gerald Sussman设计。这两位最开始的工作是改进Lisp,他们共同把Lisp由Dynamic scope变成了Lexical scope。今天几乎大家熟悉的所有语言都是Lexical scope。后来他们共同把Continuation这个概念引入了Lisp,于是一门新语言就这样诞生。
: M( r4 g2 }0 a0 }( n9 C" F$ ~' K& w9 {
随后,Sussman把Lexical scope和Scheme中的一些其它概念都引入了Lisp,并由此确立了Common Lisp的标准,Sussman本人也一直是Common Lisp的主力。, A \0 Q7 y, a8 [$ t( m
" m, W2 q7 v: U$ m' s( d
作为一门最早出现的FP语言,Lisp当然有它的缺点,其中最为人诟病的恐怕就是括号了,所以随后出现的许多FP语言都试图使用另外的语法来清晰的描述程序,这其中最著名的当属Haskell(也许还有Caml?),Haskell是一门“纯正”的FP语言,在Haskell中,变量不能赋值,没有循环,甚至没有程序流程,一切都是函数。3 F3 w0 C( x! X/ ^- k0 l0 b
$ H$ v7 x, h5 \
(注:我个人认为,想要领会FP的精髓,用Haskell入门似乎更合适)4 ?! {+ |) l9 t( T
' _; W, {2 H* c- p近年来,随着FP的进一步流行,许多命令式语言当中也逐步加入了FP的成分,典型如C++中的“functor”,如果你用过STL或者Boost,你会发现利用functor可以完成很多不可思议的功能。就我个人的经验,functor最密集的应用是在Boost.Spirit库中,它可以让你用一大堆Parse/Match Functor构造一个复杂的语法分析器。 t- C. g9 S2 o3 ]. i% g
2 a; r4 H! Z v! S6 ?. a
熟悉一门函数式语言,用心体会它的妙用。在你转变思维方式后,你会发现即便是原来你熟悉的命令式语言也能发挥出更大的威力。
! D0 ~! q6 Z4 z# A6 V) }! {
% H% K! s5 y B; i* L
& e/ Y' B D/ F) a% O+ T/ o0 t--------------------------------------------------------------------------------) ^% ?0 r( R" C, c* t) B5 q* U: D
; _. L- {- J9 y# G, z
参考文献:
+ `5 m3 V B* p" r+ m
9 C( w5 i6 r8 E6 |% n“Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part1.” Communication of the ACM 3:4, April 1960.
7 k2 W* _, i9 [* \' }“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. , {: Z2 O: ^4 ?
“Lisp 1.5 Programmer's Manual”, John McCarthy, Paul W. Abrahams, Daniel J. Edwards, Timothy P. Hart, Michael I. Levin.3 n4 | Z- c1 _& X' ?
, h1 F1 n$ j, E e" G8 d' }--------------------------------------------------------------------------------9 p' T ^* w" R' u2 `& K/ G. u
% w" h3 b* D9 C8 w' H在线资源:2 }9 D/ w1 `- A7 V/ {. \3 h S
; _/ w6 g! |& r
可免费获取的Windows版的Common Lisp版本似乎不多,能想到的只有一个CLISP,网址在:2 W* p& n$ I: U) s) N
http://clisp.cons.org 7 }/ N1 }% C. G) r- K, \
可用于Linux的Common Lisp我知道的有CMUCL和SBCL,网址分别是:
6 t5 W) |4 R8 N+ e. q5 ~* v9 YCMUCL: http://www.cons.org/cmucl/
0 f3 p. N! |9 p* LSBCL: http://sbcl.sourceforge.net
3 j3 K/ n/ y% T M另外,一个被广泛应用于Gnome中的Scheme实现——guile也包含在绝大多数Linux发行版里。
9 K) F# ]' b4 e2 o6 t/ v$ W对Haskell有兴趣的朋友可以去http://www.haskell.org 找到很多关于Haskell的信息,同时,在http://www.haskell.org/hugs/ 你可以下载到Windows版和Linux/Unix版的Haskell解释器——Hugs98。 |