lisp发展现状及未来展望

《lisp发展现状及未来展望》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、Lisp发展现状及未来展望　　摘要：自从世界上第一个高级编程语言Fortran诞生以来，高级编程语言已经发展了近六十年，无数的优秀语言先后问世，至今全世界已有几百种语言。Lisp，作为与Fortran同时代诞生的元老级高级编程语言之一，与Fortran一同引领着编程语言设计的两大方向，一直被一些优秀的计算机专家所喜爱，在编程语言世界里举足轻重。该文探究了Lisp的历史与发展，并对其未来做出了展望。　　关键词：Lisp编程；Lisp方言；计算机编程；小众语言　　中图分类号：TP312文献标识码：A文章编号：1009-3044(2012)36-

2、8669-03　　计算机，由硬件系统和软件系统两部分构成。硬件系统，是完成计算的一系列物理设备；软件系统，则是计算机程序或使机器硬件工作的指令集。编程语言便是程序员控制这个指令集的工具。　　在计算机刚被发明的时候，程序员通过直接编写0和1组成的机器指令对计算机进行控制，这是真正的计算机能直接识别的编程语言。然而对于人类来说，直接使用这两个数字来进行编程，真是无比痛苦，尤其开发大型程序，面对成千上万的0和1，程序员往往会精神崩溃。由此汇编语言应运而生。但是汇编语言也只是将一些机器指令换成了人类能看懂的名字，对编程来说并无实质性的进展。如计算机

3、的加法命令，机器指令为11001101，汇编语言则只是将其改成了add。8　　使用汇编语言编程，与使用机器指令一样，程序员费了九牛二虎之力，却只能让大多数计算机做一些很简单的事。最终，为了能轻松的编程，也为了能高效的编程，高级编程语言终于千呼万唤始出来。　　表处理语言ListProcessor，也就是Lisp语言，便是作为最早的高级编程语言之一出现于世。　　1Lisp的发明　　1959年，当时人工智能这个学科刚被提出不久，作为人工智能专家的约翰?麦卡锡（JohnMcCarthy），为了能轻松描述人工智能的各种算法，发表了具有重大历史意义的一

4、篇论文：“RecursiveFunctionsofSystemExpressionsandtheirComputationbyMachine，Part1”。在这篇论文里，麦卡锡介绍了一种运行于当时IBM704计算机上的列表处理语言，全称为ListProcessing，这便是最初的Lisp语言设想。　　其实麦卡锡并没有打算把Lisp设计成一种编程语言，他“设计这种书写法完全是为了满足论文写作的需要”。然而，麦卡锡一个叫史蒂夫?拉塞尔（第一个电脑游戏的作者）的学生，看到了论文中有关定义，意识到可以将Lisp做成一种实际的编程语言，于是Lisp语

5、言最终诞生于世。　　Lisp是世界上第二个出现的高级编程语言，第一个是著名的Fortran。作为高级编程语言的两大始祖，这两门语言也代表了语言设计的两个不同方向。Fortran一开始就是作为编程语言而被设计，以计算机硬件构架为基础；而Lisp则是从纯理论中诞生，以数学为其设计基础。自从这两门语言出现后，高级编程语言的设计就不断在Fortran和Lisp所代表的两个方向中进行折中。8　　2Lisp的九大思想　　Lisp语言被设计时，包含了时任编程领域的九种新思想，其中一些思想已成为现今编程语言的基础，另一些则成为设计语言的目标。　　这九种思想

6、大致如下：　　2.1条件结构　　条件结构是时下各种高级语言的基础结构之一，而Fortran最开始没有条件构。　　2.2函数作为一种数据类型而存在　　函数与整数、字符串一样，在Lisp中作为数据类型，可储存在变量中，也可作为参数传递，拥有一切数据类型该有的功能。　　2.3递归　　Lisp本身很多函数以递归形式出现，是第一个支持递归的高级编程语言。　　2.4动态类型变量　　在Lisp中，所有的变量都为指针，都为实际储存的数据的地址。指针有类型之分，而变量本身没有。　　2.5垃圾回收　　垃圾回收，是当一个变量再也用不到时，程序会自动对这个变量进行

7、回收，释放它所占的储存空间。　　2.6程序由表达式构成　　用Lisp所写的程序是由一些表达式树所构成的集合，每个表达式都有返回值。Fortran和以后众多的编程语言的程序则由表达式和语句构成。8　　2.7符号类型　　在Lisp中，符号是一种指针，指向字符串。　　2.8整个代码用符号和常量组成的树形表示法　　2.9整个语言无论何时都是可用的　　Lisp不区分像其他高级语言中存在的读取期、编译期和运行期，整个代码可以在任何时候运行。　　在高级编程语言发展的早期，语言的各种设计原则主要由计算机硬件条件决定，因此这九种思想未完全被大众所接受。　　随

8、着时代的发展，计算机硬件性能越来越强大，各种语言的设计思想，开始向这九大思想靠近。至今，这九种思想仍是设计高级编程语言所努力达到与接近的目标。我们可以看到，在一些语言的上手文档里