《程序设计语言的历史回顾与分类.doc》由会员分享,可在线阅读,更多相关《程序设计语言的历史回顾与分类.doc(34页珍藏版)》请在金锄头文库上搜索。
1、程序设计语言的历史回顾与分类程序设计语言发展迅速,到目前还丝毫没有规范到统一语言的迹象,我们要学习它,应该从它的历史发展开始,展开它的全貌,从发展中了解为什么老的不行要有新的。分类使我们简化了问题,研究一类中的一个、两个代表就可以。程序设计语言简史:1945年第一台现代计算机ENIAC问世,它用真空管做计算,一下子比当时最快的电动机械计算机快攻300倍(每秒300次乘法)。存储器非常小,计算指令(即程序)由外部插座和开关馈入。还不能称之为完全自动计算。1946年 冯诺依曼在一篇论文中建议:(1)计算机应采用二进制。(2)计算机的指令和数据都可以放在存储器内。这就是奠定现代计算机的著名的冯诺依曼
2、原理: CPU逐条从存储器中取出执行指令,按指令取出存储的数据经运算后送回。数据和指令(存储地址码、操作码)都统一按二进制编码输入。数据值的改变是重新赋值,即强行改变数据存储槽的内容,所以说它是命令式的(IMPERATIVE)。1951年美国兰德公司的UNIVA C-1 是第一台按冯诺依曼原理制成的通用自动计算机。1人们首先开始了机器语言的程序设计: 指定数据区编制一条条指令。由于任何人也无法记住并自如地编排二进制码(只有1和0的数字串),则用8、16进制数写程序,输入后是二进制的。程序的外部表示和内部的存在一开始就是分离的。2单调的数字极易出错,众不堪其苦,将操作码改作助记的字符,汇编语言使
3、编程方便得多。但汇编码编的程序必须要通过汇编程序翻译为机器码才能运行。尽管汇编码程序和机器码程序基本一一对应,但汇编语言出现说明两件事:一是开始了源代码自动翻译器目标代码的使用方式,一是计算机语言开始向宜人方向的进程。 350年代高级语言出现1954年BACKUS根据地1951年RUTISHAUSER提出的用编译程序实现高级语言的思想,研究出第一个脱离机器的高级语言FORTRAN 。其编译程序用18个人一年完成(用汇编语言编写)。1957年的FORTRAN,它就比较完善了。它有变量、表达式、赋值、调用、输入 输出等概念;有满足科技计算的整数、实数、复数和数组,以及为保证运算精度的双精度等数据类
4、型。表达式采用代数模型。 FORTRANR 的出现使当时科技计算为主的软件生产提高了一个数量级,奠定了高级语言的地位。FORTRAN也成为计算机语言界的英语式的世界语。1958年欧洲计算机科学家的一个组织GAMM(德国应用数学和机械学协会)和美国计算机协会ACM的专家在苏黎士会晤起草了一个“国际代数语言IAL”的报告,随后这个委员会研制了ALGOL58得到广泛支持和响应。 1960年欧美科学家再度在巴黎会晤对ALGOL 58进行了补充,这就是众所周知的ALGOL60。1962年罗马会议上对ALGOL60再次修订并发表了对“算法语言ALGOL 60的修订报告”。由于该报告对ALGOL 60定义采
5、用相对严格的形式语法,ALGOL语言为广大计算机工作者接受,特别在欧洲。但美国IBM公司,当时经营世界总额75%的制造商,一心要推行FORTRAN,不支持ALGOL,以致ALGOL 60 始终没有大发展起来。尽管如此,ALGOL 60还是在程序设计语言发展史上是一个重要的里程碑。1959年为了开发在商用事务处理方面的程序设计语言,美国各厂商和机构组成一个委员会。在美国防部支持下于1960年4月发表了数据处理的COBOL 60语言。开发者的目标要尽可能英语化,使没有计算机知识的老板们也能看得懂。所以像算术运算符+、*都用英文ADD、MULTIPLY。COBOL 60 的控制结构比FORTRAN还
6、要简单,但数据描述大大扩展了,除了表(相当于数组)还有纪录、文件等概念。 COBOL 60 虽然繁琐(即使一个空程序也要写出50个符号),由于其优异的输入 出功能,报表、分类归并的方便快速,使它存活并牢固占领商用事务软件市场,直到今天在英语国家的商业领域还有重要的地位。 50年代计算机应用在科学计算和事务处理方面有了FORTRAN,COBOL因而得到迅速发展。工程控制方面刚刚起步,仍是汇编语言的市场。 1957年,美MIT科学家MCCARTHY提出LISP,并把它用于数学定理验证等较为智能性的程序上。但LISP在当时只是科学家的语言,没有进入软件市场。460年代奠基性研究 60年代计算机硬件转
7、入集成电路成本大幅度下降。应用普及的障碍是语言及软件。这就促使对编译技术的研究。编译技术的完善表现在大型语言、多种流派语言的出现。 1962年哈佛大学的K. IVERSON提出APL语言。它是面向数学(矩阵)的语言,定义了一套古怪的符号,联机使用非常简洁,觉得数学家喜爱。它提出动态数据(向量)的概念。1962年AT&T公司贝尔试验R. GRISWOL提出正文处理的SNOBOL,可以处理代数公式、语法正文、自然语言。以后发展为SNOBOL 3、SNOBOL 4。80年代后裔叫ICON,用于测试。1963-64年美国IBM公司组织了一个委员会试图研制一个功能齐全的大型语言。希望它兼有FORTRAN
8、和COBOL的功能,有类似ALGOL 60完善的定义及控制结构,名字就叫程序设计语言PL /1。程序员可控制程序发生异常情况的异常处理、并行处理、存储控制等。所以它的外号叫“大型公共汽车”。它是大型通用语言的第一次尝试,提出了许多有益的新概念、新特征。但由于过于复杂,数据类型自动转换太灵活,可靠性差,低效,使它没有普及起来。但IBM公司直到80年代在它的机器上还配备PL/1。1967年为普及程序语言教育,美国达特茅斯学院的J. G. KEMENY和T.E.KURTZ研制出交互式、解释型语言BASIC(初学者通用符号指令码的字头)。由于解释程序小(仅8K)赶上70年代微机大普及,BASIC取得众
9、所周知的成就。但是它的弱类型、全程量数据、无模块决定了它只能编制小程序。它是程序员入门的启蒙语言。1967年美国MIT的S.PAPERT教授开发了小型语言LOGO语言。其目的是无数学基础的青少年也能学习使用计算机,理解程序设计思想,自己编制过程或程序。但直到年代初微机普及到家庭它才受到重视。LOGO是交互式语言,用户编程就在终端前定义过程命令,并利用系统提供的命令构成程序。LOGO的数据是数、字、表。,由于它能方便地处理符号表,可以利用人工智能成果开发情报检索、演绎推理、自然语言会话小程序。青少年可设计各种智能游戏。递归程序的表达能力使青少年可受到结构化程序良好训练。1979年MIT LOGO
10、小组推出APPLE LOGO,及TI LOGO(德州仪器公司TI 99/4A机)。这两个版本最为普及。LOGO是青少年入门的启蒙语言。LOGO的近于自然语言的命令及海龟、键盘、程序、图形并用的使用风格,对以后的命令式语言、用户界面语言有一定的影响。 1967年挪威计算机科学家O.J.DAHL等人研制出通用模拟语言SIMULA 67。它以ALGOL 60为基础,为分层模拟离散事件提出了类(CLASS)的概念。类将数据和其上的操作集为一体,定义出类似类型的板。实例进入运算。这是抽象数据类型及对象的先声。 60年代软件发展史上出了所谓的“软件危机”,是由于1962年美国金星探测卫星水手二号发射失败引
11、起的。经多方测试在水手一号发射不出错的程序在水手二号出了问题。软件无法通过测试证明它是正确的。于是,许多计算机科学家转入对程序正确性证明的研究。 这时,著名的荷兰科学家E.DIJKSTRS 提出的“GOTO 语句是有害的”著名论断引起了一场在争论。从程序结构角度而言,滥用GOTO语句会使程序无法分析、难于测试、不易修改。 这里也提出了全程变量带来的数据耦合效应、函数调用的副作用、类型隐含声明和自动转换所带来的难于控制的潜伏不安全因素等等过程语言中的一些致使性弱点。60年代对大型系统软件的需求大为增长(如编制较完善操作系统、大型军用系统),要求使用高级语言以解决生产率之需,加上高级语言使用以来积
12、累的经验,加深了众对软件本质、程序语言的理解。人们积极研制反映新理论的语言 1964年ALGOL工作组成员N.WIRTH改进了ALGOL 60提出ALGOL W近于结构化的语言。由于它结构简洁、完美、又结构化。ALGOL W 成为软件教程中示例语言。他带着ALGOL W 参加新一代ALTOL的研究委员会,即开发ALGOL 68的工作组。 ALGOL 68追求的目标也是能在多个领域使用的大型通用语言。1965年以WIJNGA ARDEN为首的一批科学家开始研究新ALGOL。强调了语言设计中冗余性(少作隐含约定)、抽象性(数据抽象与控制抽象)、正交性(一个语言机制只在一处定义并与其它机制无关)。强
13、化了类型定义和显式转换;有并发、异常处理功能;保留GOTO允许有限制的函数边界效应;过程可以作为参数传递;用户可定义较复杂数据结构、定义运算符。语法定义是半英语半形式的。语言作成可扩充式,也就是说,有一个相对完备的语言核心,不断定义功能过程而扩大语言描述能力。表达式采用有利于编译效率的逆波兰表示法。 ALGOL 68集了当时语言和软件技术之大成。但因学究气太重,一般程序员难于掌握。强调语言简单的人持有不同看法。但文本草案在WIJNGA ARDEN坚持下通过了。为此,DIJKSTRA等人发表了“少数人声明“。N.WORTH带着竞争失败的ALGOL W 回去研究,发表了著称于世的PASCAL。 1
14、971年PASCAL正式问世。PASCAL 的研制者一开始就本着“简单、有效、可靠”的原则设计语言。它只限于顺序程序设计。是结构化程序设计教育示范语言。PASCAL有完全结构化的控制结构。为了方便,除三种最基本的控制结构(顺序、if-then-else、while-do)外,又扩充了二种(do-until、for-do)。程序模块有子程序(过程和函数)、分程序,可任意嵌套,因而有全程量、局部量、作用域与可见性概念。保留GOTO语句但不推荐使用。PASCAL的数据类型大大丰富了,有整、实、字符、布尔等纯量类型;有数组、记录、变体记录、串等结构类型;增加了集合、枚举、指针类型。为用户描述复杂的数据
15、结构乃至动态数据提供了方便。所有进入程序的数据都要显示声明、显示类型转换。加强了编译时刻类型检查。函数的显示的值参和变量参数定义便于限制边界效应。 在人们为摆脱软件危机而对结构化程序设计寄予极大希望的时候,PASCAL得到很快的普及。它也是对以后程序语言有较大影响的里程碑式的语言。570年代完善的软件工程工具硬件继续降价、功能、可靠性反而进一步提高。人们对软件的要求,无论是规模、功能、不是开发效率都在为提高了。仅管 PASCAL得到普遍好评,但它只能描述顺序的小程序,功能太弱。在大型、并发、实时程序设计中无能为力。程序越大越要求高的抽象力、安全性、积少成多的模块拼合功能。为了对付日益加剧的新意义上的软件危机。70年代过程语言继续发展,在总结PL/1和ALGOL 68失败的基础上,研制大型功能齐全的语言又一次掀起高潮。 70年代是微机大发展的时代。设计精巧的小型过程语言藉微机普及得到发展。软件市场FORTRAN、COBOL、汇编的三分天下开始缓避退却。 结构化FORTRAN、COBOL力图在新的竞争中保全自己的地位,专用语言丛生。一旦证实它的普遍性,它就变为通用语言。 C就是在这种情况下成长起来的优秀语言。 硬件的完善使得过去难以实施的组合爆炸算法得以缓解。人工智能的专家系统进入实用。LISP发展为INTEL LISP 和 MAC LIS