lisp编译器性能

A. lisp和ml哪个更适合写编译器

如果是写lisp的编译器, 当然是lisp自举更容易.
如果写其他语言编译器, 差距不会太大, 差不多.

B. 为什么 Lisp 大多用于人工智能领域

能你写了一些AI程序后就会明白，很多（早期）AI算法都是在一个树形的状态空间中搜索的，而Lisp的递归非常适合树这样的数据结构。顺便说一下，支持递归的语言写编译器也是特别地顺手

C. Lisp 值得去学习吗

Lisp值得去学习。

LISP语言适用于符号处理、自动推理、硬件描述和超大规模集成电路设计等。

特点是，使用表结构来表达非数值计算问题，实现技术简单。LISP语言已成为最有影响，使用十分广泛的人工智能语言。

在LISP语言中，数据和函数都是采用符号表达式定义的，这种符号表达式称为S一表达式，它是原予和表的总称。原子分为符号原子和数原子。

符号原子是指有限个大写字母和数字组成的字符串，其中第一个符号必须是字母。原子NIL和T分别表示逻辑假(或空表)和逻辑真。数原子是指一串数字，通过符号表示其正负。

(3)lisp编译器性能扩展阅读：

Lisp语言刚出现的时候，它的思想与其他编程语言大相径庭。后者的设计思想主要由50年代后期的硬件决定。随着时间流逝，流行的编程语言不断更新换代，语言设计思想逐渐向Lisp靠拢。

思想1到思想5已经被广泛接受，思想6开始在主流编程语言中出现，思想7在Python语言中有所实现，不过似乎没有专用的语法。

思想8可能是最有意思的一点。它与思想9只是由于偶然原因，才成为Lisp语言的一部分，因为它们不属于John
McCarthy的原始构想，是由他的学生Steve
Russell自行添加的。它们从此使得Lisp看上去很古怪，但也成为了这种语言最独一无二的特点。

Lisp古怪的形式，倒不是因为它的语法很古怪，而
是因为它根本没有语法，程序直接以解析树的形式表达出来。在其他语言中，这种形式只是经过解析在后台产生，但是Lisp直接采用它作为表达形式。它由列表构成，而列表则是Lisp的基
本数据结构。

D. 为什么Lisp语言如此先进

一、

如果我们把流行的编程语言，以这样的顺序排列：Java、Perl、Python、Ruby。你会发现，排在越后面的语言，越像Lisp。Python模仿Lisp，甚至把许多Lisp黑客认为属于设计错误的功能，也一起模仿了。至于Ruby，如果回到1975年，你声称它是一种Lisp方言，没有人会反对。编程语言现在的发展，不过刚刚赶上1958年Lisp语言的水平。

二、

1958年，John McCarthy设计了Lisp语言。我认为，当前最新潮的编程语言，只是实现了他在1958年的设想而已。

这怎么可能呢？计算机技术的发展，不是日新月异吗？1958年的技术，怎么可能超过今天的水平呢？

让我告诉你原因。

这是因为John McCarthy本来没打算把Lisp设计成编程语言，至少不是我们现在意义上的编程语言。他的原意只是想做一种理论演算，用更简洁的方式定义图灵机。

所以，为什么上个世纪50年代的编程语言，到现在还没有过时？简单说，因为这种语言本质上不是一种技术，而是数学。数学是不会过时的。你不 应该把Lisp语言与50年代的硬件联系在一起，而是应该把它与快速排序（Quicksort）算法进行类比。这种算法是1960年提出的，至今仍然是最 快的通用排序方法。

三、

Fortran语言也是上个世纪50年代出现的，并且一直使用至今。它代表了语言设计的一种完全不同的方向。Lisp是无意中从纯理论发展 为编程语言，而Fortran从一开始就是作为编程语言设计出来的。但是，今天我们把Lisp看成高级语言，而把Fortran看成一种相当低层次的语 言。

1956年，Fortran刚诞生的时候，叫做Fortran I，与今天的Fortran语言差别极大。Fortran I实际上是汇编语言加上数学，在某些方面，还不如今天的汇编语言强大。比如，它不支持子程序，只有分支跳转结构（branch）。

Lisp和Fortran代表了编程语言发展的两大方向。前者的基础是数学，后者的基础是硬件架构。从那时起，这两大方向一直在互相靠拢。 Lisp刚设计出来的时候，就很强大，接下来的二十年，它提高了自己的运行速度。而那些所谓的主流语言，把更快的运行速度作为设计的出发点，然后再用超过 四十年的时间，一步步变得更强大。

直到今天，最高级的主流语言，也只是刚刚接近Lisp的水平。虽然已经很接近了，但还是没有Lisp那样强大。

四、

Lisp语言诞生的时候，就包含了9种新思想。其中一些我们今天已经习以为常，另一些则刚刚在其他高级语言中出现，至今还有2种是Lisp独有的。按照被大众接受的程度，这9种思想依次是：

1. 条件结构（即"if-then-else"结构）。现在大家都觉得这是理所当然的，但是Fortran I就没有这个结构，它只有基于底层机器指令的goto结构。

2. 函数也是一种数据类型。在Lisp语言中，函数与整数或字符串一样，也属于数据类型的一种。它有自己的字面表示形式（literal representation），能够储存在变量中，也能当作参数传递。一种数据类型应该有的功能，它都有。

3. 递归。Lisp是第一种支持递归函数的高级语言。

4. 变量的动态类型。在Lisp语言中，所有变量实际上都是指针，所指向的值有类型之分，而变量本身没有。复制变量就相当于复制指针，而不是复制它们指向的数据。

5. 垃圾回收机制。

6. 程序由表达式（expression）组成。Lisp程序是一些表达式区块的集合，每个表达式都返回一个值。这与Fortran和大多数后来的语言都截然不同，它们的程序由表达式和语句（statement）组成。

区分表达式和语句，在Fortran I中是很自然的，因为它不支持语句嵌套。所以，如果你需要用数学式子计算一个值，那就只有用表达式返回这个值，没有其他语法结构可用，因为否则就无法处理这个值。

后来，新的编程语言支持区块结构（block），这种限制当然也就不存在了。但是为时已晚，表达式和语句的区分已经根深蒂固。它从Fortran扩散到Algol语言，接着又扩散到它们两者的后继语言。

7. 符号（symbol）类型。符号实际上是一种指针，指向储存在哈希表中的字符串。所以，比较两个符号是否相等，只要看它们的指针是否一样就行了，不用逐个字符地比较。

8. 代码使用符号和常量组成的树形表示法（notation）。

9. 无论什么时候，整个语言都是可用的。Lisp并不真正区分读取期、编译期和运行期。你可以在读取期编译或运行代码；也可以在编译期读取或运行代码；还可以在运行期读取或者编译代码。

在读取期运行代码，使得用户可以重新调整（reprogram）Lisp的语法；在编译期运行代码，则是Lisp宏的工作基础；在运行期编 译代码，使得Lisp可以在Emacs这样的程序中，充当扩展语言（extension language）；在运行期读取代码，使得程序之间可以用S-表达式（S-expression）通信，近来XML格式的出现使得这个概念被重新"发 明"出来了。

五、

Lisp语言刚出现的时候，它的思想与其他编程语言大相径庭。后者的设计思想主要由50年代后期的硬件决定。随着时间流逝，流行的编程语言不断更新换代，语言设计思想逐渐向Lisp靠拢。

思想1到思想5已经被广泛接受，思想6开始在主流编程语言中出现，思想7在Python语言中有所实现，不过似乎没有专用的语法。

思想8可能是最有意思的一点。它与思想9只是由于偶然原因，才成为Lisp语言的一部分，因为它们不属于John McCarthy的原始构想，是由他的学生Steve Russell自行添加的。它们从此使得Lisp看上去很古怪，但也成为了这种语言最独一无二的特点。Lisp古怪的形式，倒不是因为它的语法很古怪，而 是因为它根本没有语法，程序直接以解析树（parse tree）的形式表达出来。在其他语言中，这种形式只是经过解析在后台产生，但是Lisp直接采用它作为表达形式。它由列表构成，而列表则是Lisp的基 本数据结构。

用一门语言自己的数据结构来表达该语言，这被证明是非常强大的功能。思想8和思想9，意味着你可以写出一种能够自己编程的程序。这可能听起来很怪异，但是对于Lisp语言却是再普通不过。最常用的做法就是使用宏。

术语"宏"在Lisp语言中，与其他语言中的意思不一样。Lisp宏无所不包，它既可能是某样表达式的缩略形式，也可能是一种新语言的编译器。如果你想真正地理解Lisp语言，或者想拓宽你的编程视野，那么你必须学习宏。

就我所知，宏（采用Lisp语言的定义）目前仍然是Lisp独有的。一个原因是为了使用宏，你大概不得不让你的语言看上去像Lisp一样古 怪。另一个可能的原因是，如果你想为自己的语言添上这种终极武器，你从此就不能声称自己发明了新语言，只能说发明了一种Lisp的新方言。

我把这件事当作笑话说出来，但是事实就是如此。如果你创造了一种新语言，其中有car、cdr、cons、quote、cond、 atom、eq这样的功能，还有一种把函数写成列表的表示方法，那么在它们的基础上，你完全可以推导出Lisp语言的所有其他部分。事实上，Lisp语言 就是这样定义的，John McCarthy把语言设计成这个样子，就是为了让这种推导成为可能。

六、

就算Lisp确实代表了目前主流编程语言不断靠近的一个方向，这是否意味着你就应该用它编程呢？

如果使用一种不那么强大的语言，你又会有多少损失呢？有时不采用最尖端的技术，不也是一种明智的选择吗？这么多人使用主流编程语言，这本身不也说明那些语言有可取之处吗？

另一方面，选择哪一种编程语言，许多项目是无所谓的，反正不同的语言都能完成工作。一般来说，条件越苛刻的项目，强大的编程语言就越能发挥 作用。但是，无数的项目根本没有苛刻条件的限制。大多数的编程任务，可能只要写一些很小的程序，然后用胶水语言把这些小程序连起来就行了。你可以用自己熟 悉的编程语言，或者用对于特定项目来说有着最强大函数库的语言，来写这些小程序。如果你只是需要在Windows应用程序之间传递数据，使用Visual Basic照样能达到目的。

那么，Lisp的编程优势体现在哪里呢？

七、

语言的编程能力越强大，写出来的程序就越短（当然不是指字符数量，而是指独立的语法单位）。

代码的数量很重要，因为开发一个程序耗费的时间，主要取决于程序的长度。如果同一个软件，一种语言写出来的代码比另一种语言长三倍，这意味 着你开发它耗费的时间也会多三倍。而且即使你多雇佣人手，也无助于减少开发时间，因为当团队规模超过某个门槛时，再增加人手只会带来净损失。Fred Brooks在他的名着《人月神话》（The Mythical Man-Month）中，描述了这种现象，我的所见所闻印证了他的说法。

如果使用Lisp语言，能让程序变得多短？以Lisp和C的比较为例，我听到的大多数说法是C代码的长度是Lisp的7倍到10倍。但是最 近，New Architect杂志上有一篇介绍ITA软件公司的文章，里面说"一行Lisp代码相当于20行C代码"，因为此文都是引用ITA总裁的话，所以我想这 个数字来自ITA的编程实践。 如果真是这样，那么我们可以相信这句话。ITA的软件，不仅使用Lisp语言，还同时大量使用C和C++，所以这是他们的经验谈。

根据上面的这个数字，如果你与ITA竞争，而且你使用C语言开发软件，那么ITA的开发速度将比你快20倍。如果你需要一年时间实现某个功能，它只需要不到三星期。反过来说，如果某个新功能，它开发了三个月，那么你需要五年才能做出来。

你知道吗？上面的对比，还只是考虑到最好的情况。当我们只比较代码数量的时候，言下之意就是假设使用功能较弱的语言，也能开发出同样的软 件。但是事实上，程序员使用某种语言能做到的事情，是有极限的。如果你想用一种低层次的语言，解决一个很难的问题，那么你将会面临各种情况极其复杂、乃至 想不清楚的窘境。

所以，当我说假定你与ITA竞争，你用五年时间做出的东西，ITA在Lisp语言的帮助下只用三个月就完成了，我指的五年还是一切顺利、没有犯错误、也没有遇到太大麻烦的五年。事实上，按照大多数公司的实际情况，计划中五年完成的项目，很可能永远都不会完成。

我承认，上面的例子太极端。ITA似乎有一批非常聪明的黑客，而C语言又是一种很低层次的语言。但是，在一个高度竞争的市场中，即使开发速度只相差两三倍，也足以使得你永远处在落后的位置。

E. lisp 可以做什么

楼上都没说出lisp的特点和本质，总的来说，lisp有两个特征：函数式编程和面向语言

1. 函数式编程决定了它与数学有天然的契合度，因此可以利用它来表达数学思想、推演符号类型

2. 面向语言说明lisp是一门可以生成代码的语言。lisp对待数据和代码均采用同一种数据结构表示，因此lisp可以优雅的处理自身的代码。解决问题的时候，你完全可以利用lisp自己设计一门适合问题领域的语言，然后再处理

其实lisp有很多方言：

1. Elisp：配置神器Emacs

2. Scheme：最纯的lisp，实用的库很少，一般人只是在学习SICP的时候接触过，应用方面当然也有， 如作为texmacs的配置语言，还有Gimp的开发。如果利用这门语言学习编译器的设计将会是一个不错的选择

3. comman lisp：lisp的集大成者，有很多库可用，可以用来做web开发、人工智能应用、系统应用程序（如邮件过滤器、mp3、html生成器等等）、类型符号推演

4. clojure：做网站开发，运行在JVM上，有JAVA基础比较好入手

5. AutoLisp：与autocad结合用在绘图领域

F. Lisp语言怎么样为什么现在不流行与Java相比呢

很久以前，这种语言站在计算机科学研究的前沿，特别是人工智能的研究方面。现在，它很少被用到，这一切并不是因为古老，类似古老的语言却被广泛应用。 其他类似的古老的语言有??FORTRAN、 COBOL、 LISP、 BASIC、 和ALGOL 家族，这些语言的唯一不同之处在于，他们为谁设计。FORTRAN是为科学家和工程师设计的，他们在计算机上编程的目的是是为了解决问题。COBOL是为了商业设计的,最好的体现在于让商人们可以利用电脑时代。LISP是了计算机科学研究设计的，最突出的体现在计算机基本原理研究.。BASIC是为初学者设计的。最后，ALGOL语言是有计算机程序员修改，演变成其他流行的语言，如C，Pascal和Java的一个庞大的家族。上面提到的某些语言已经不像当初那么流行了。我们在这里可以把它们称作“失败”。问题是它们为什么失败？第一站出来的是COBOL. 很不幸，它以面向商业人员的很好的可读性就是它的失败点。商业人员发现，他们可以雇佣程序员去管理他们的系统。程序员自然会偏向于为他们设计的语言，而不是他们的老板。所以随着时间推移，越来越多的商业功能都使用例如VB, C, C++ 和JAVA实现了。现在，只有很少一部分软件仍通过COBOL语言编写。BASIC却有不同的命运。他是为入门人员设计的。那些在微机上学习编程，他们会使用内置的BASIC语言作为起点。随着时间推移，微机被运行微软操作系统的个人电脑，或者MacOS的苹果电脑所代替。这种语言逐渐被VB所取代。虽然他是面向初级程序员，它有一段时间代替了COBOL。为什么要耗费这么多的资源在昂贵的编译器上，而便宜的解释器在我们的电脑上已经存在？最近，微软以迁移到.NET框架上，让VB跟在后面。它的替代者， C#就是ALGOL家族中的一员，跟Java相近。这些年FORTRAN的使用起起伏伏。在某一阶段，差不多所有科学方面的代码是用它来写的。它的优点是这门语言中没有指针，并且不允许存在递归。这意味着所有数据的引用位置都可以在编译时确定。FORTRAN编译器利用这些额外的信息使程序运行格外地迅速。不幸的是，随着时间的推移，固定大小的数组这种数据结构变得过时了。现在，科学要处理任意形状的风格，甚至表述更为复杂的真实世界。这需要在语言中额外地加入指针。这些情况发生的时间段里，FORTRAN逐渐走向没落。现在，它被转移到高性能计算工作，其中新的并行矩阵和矢量运算最近添加到这门语言中，仍然使它拥有性能优势。ALGOL语言家族取得了成功。其原因是，这些语言是由程序员为程序员写的。随着时间的推移，这些与系统和应用相关的语言成为了现在最常用的语言。它的优点是越多地程序员使用，这门语言就能得到更多地改进，并且越来越多地程序是用它们来写就的。这提供了一个良性循环，更多的程序员们又被聘请在己编写的程序上工作。这是一个网络效应的例子。一个系统的“价值”是它的用户数目的平方，在于以此速率增长的用户之间的交互作用。那么为什么Lisp语言家族会站在失败者一边呢？有些人认为是语法的错。Lisp因为它的括号而臭名昭着。我并不认为是这个理由。许多用户说良好的格式可以让他们跟上这些括号。同时，Lisp语言被发明不久后，有一个叫“super-bracket”的语法可以让人快速表示出任意数量的回括号”)”。这个特性在今天已经很少有人使用了。最后，优秀的编辑器解决了大多数的语法问题。另一些人经常抱怨Lisp是一门函数式语言。

G. Lisp 能被用来干什么

Lisp没有任何神奇之处，它的核心就是一个以s-expression格式为输入的eval而已。Nothing more, nothing less
Lisp的macro功能更加不是什么“神奇”的东西。任何解释性语言的eval都接受动态数据，构造过程用户可以自由发挥；用户如果不喜欢语言内置的构造方式，自己可以写一个，只要eval认就行。甚至C、C++、Java、C#这些编译型的语言，只要能驱动编译器，用户一样可以自己写一个“macro”出来（或者叫做generate code on-the-fly）

Lisp由于缺乏用来区分语义的语法变化，导致最后的代码虽然可以很“紧凑”（紧凑也不代表算法复杂度更优），但是可读性和提示性不够高。《Coders at Work》里面的使用Lisp的先驱也说了因为这个原因后来不写Lisp了

但是Lisp是很好的思维训练的载体，以λ演算而不是图灵机作为计算模型对于初学者是一种思维上的飞跃，有很高的学习价值

H. lisp有什么比较好用的编译器么

如果你是学的是common lisp的话：可以使用 lisp in a box。
lisp in a box 是一个在emacs的基础上扩展的ide
如果你是学的是autolisp的话：可以使用 cad里面自带的vlisp开发环境。
在cad的命令行输入vlisp或者vide后回车即可进入。
如果你是学的是elisp的话：可以 直接使用emacs。
如果你是学的是scheme的话：可以 直接使用ChezScheme
如果你想自己动手做一个的话可以参考sicp后几章或者看看王垠的如何写解释器那篇文章

I. LISP有多牛逼

LISP（全名LISt Processor，即列表处理语言），由 约 翰·麦 卡 锡在1960年左右创造的一种基于λ演算的函数式编程语言。

LISP有很多种方言，各个实现中的语言不完全一样。1980年代Guy L. Steele编写了Common Lisp试图进行标准化，这个标准被大多数解释器和编译器所接受。在Unix/Linux系统中，还有一种和Emacs一起的Emacs Lisp（而Emacs正是用Lisp作为扩展语言进行功能扩展的）非常流行，并建立了自己的标准。

LISP语言的主要现代版本包括Common Lisp和Scheme。