Lisp发展现状及未来展望.docVIP

Lisp发展现状及未来展望 　　摘要：自从世界上第一个高级编程语言Fortran诞生以来，高级编程语言已经发展了近六十年，无数的优秀语言先后问世，至今全世界已有几百种语言。Lisp，作为与Fortran同时代诞生的元老级高级编程语言之一，与Fortran一同引领着编程语言设计的两大方向，一直被一些优秀的计算机专家所喜爱，在编程语言世界里举足轻重。该文探究了Lisp的历史与发展，并对其未来做出了展望。 　　关键词：Lisp编程； Lisp方言；计算机编程；小众语言 　　中图分类号：TP312 文献标识码：A 文章编号：1009-3044(2012)36-8669-03 　　计算机，由硬件系统和软件系统两部分构成。硬件系统，是完成计算的一系列物理设备；软件系统，则是计算机程序或使机器硬件工作的指令集。编程语言便是程序员控制这个指令集的工具。 　　在计算机刚被发明的时候，程序员通过直接编写0和1组成的机器指令对计算机进行控制，这是真正的计算机能直接识别的编程语言。然而对于人类来说，直接使用这两个数字来进行编程，真是无比痛苦，尤其开发大型程序，面对成千上万的0和1，程序员往往会精神崩溃。由此汇编语言应运而生。但是汇编语言也只是将一些机器指令换成了人类能看懂的名字，对编程来说并无实质性的进展。如计算机的加法命令，机器指令汇编语言则只是将其改成了add。 　　使用汇编语言编程，与使用机器指令一样，程序员费了九牛二虎之力，却只能让大多数计算机做一些很简单的事。最终，为了能轻松的编程，也为了能高效的编程，高级编程语言终于千呼万唤始出来。 　　表处理语言List Processor，也就是Lisp语言，便是作为最早的高级编程语言之一出现于世。 　　1 Lisp的发明 　　1959年，当时人工智能这个学科刚被提出不久，作为人工智能专家的约翰?麦卡锡（John McCarthy），为了能轻松描述人工智能的各种算法，发表了具有重大历史意义的一篇论文：“Recursive Functions of System Expressions and their Computation by Machine，Part 1”。在这篇论文里，麦卡锡介绍了一种运行于当时IBM704计算机上的列表处理语言，全称为List Processing，这便是最初的Lisp语言设想。 　　其实麦卡锡并没有打算把Lisp设计成一种编程语言，他“设计这种书写法完全是为了满足论文写作的需要”。然而，麦卡锡一个叫史蒂夫?拉塞尔（第一个电脑游戏的作者）的学生，看到了论文中有关定义，意识到可以将Lisp做成一种实际的编程语言，于是Lisp语言最终诞生于世。 　　Lisp是世界上第二个出现的高级编程语言，第一个是著名的Fortran。作为高级编程语言的两大始祖，这两门语言也代表了语言设计的两个不同方向。Fortran一开始就是作为编程语言而被设计，以计算机硬件构架为基础；而Lisp则是从纯理论中诞生，以数学为其设计基础。自从这两门语言出现后，高级编程语言的设计就不断在Fortran和Lisp所代表的两个方向中进行折中。 　　2 Lisp的九大思想 　　Lisp语言被设计时，包含了时任编程领域的九种新思想，其中一些思想已成为现今编程语言的基础，另一些则成为设计语言的目标。 　　这九种思想大致如下： 　　2.1 条件结构 　　条件结构是时下各种高级语言的基础结构之一，而Fortran最开始没有条件构。 　　2.2 函数作为一种数据类型而存在 　　函数与整数、字符串一样，在Lisp中作为数据类型，可储存在变量中，也可作为参数传递，拥有一切数据类型该有的功能。 　　2.3 递归 　　Lisp本身很多函数以递归形式出现，是第一个支持递归的高级编程语言。 　　2.4 动态类型变量 　　在Lisp中，所有的变量都为指针，都为实际储存的数据的地址。指针有类型之分，而变量本身没有。 　　2.5 垃圾回收 　　垃圾回收，是当一个变量再也用不到时，程序会自动对这个变量进行回收，释放它所占的储存空间。 　　2.6 程序由表达式构成 　　用Lisp所写的程序是由一些表达式树所构成的集合，每个表达式都有返回值。Fortran和以后众多的编程语言的程序则由表达式和语句构成。 　　2.7 符号类型 　　在Lisp中，符号是一种指针，指向字符串。 　　2.8 整个代码用符号和常量组成的树形表示法 　　2.9 整个语言无论何时都是可用的 　　Lisp不区分像其他高级语言中存在的读取期、编译期和运行期，整个代码可以在任何时候运行。 　　在高级编程语言发展的早期，语言的各种设计原则主要由计算机硬件条件决定，因此这九种思想未完全被大众所接受。