二叉排序树的实现_webservice原理_二叉排序树的删除图解(8)

Simula，于1960年代晚期由奈加特与Dahl以Algol 60超集合的方式发展，同时也是第一个设计支援面向对象进行开发的编程语言。

C，于1969至1973年间由贝尔实验室的研究人员丹斯·里奇与肯·汤普逊所开发，是一种早期的系统程式设计(en:system programming)语言。

Smalltalk，于1970年代中期所开发，是一个完全从零开始(ground-up)设计的面向对象编程语言。

Prolog，于1972年由Colmerauer、Roussel，以及Kowalski所设计，是第一个逻辑程式语言。

ML，于1973年由罗宾·米尔纳所发明，是一个基于Lisp所建构的多型(polymorphic)型态系统，同时也是静态型别函数编程语言的先驱。

这些语言都各自演展出自己的家族分支，现今多数现代编程语言的祖先都可以追朔他们其中至少一个以上。 在1960年代以及1970年代中结构化程式设计的优点也带来许多的争议，特别是在程式开发的过程中完全不使用GOTO。这项争议跟语言本身的设计非常有关系：某些语言并没有包含GOTO，这也强迫程式设计师必须结构化地编写程式。尽管这个争议在当时吵翻了天，但几乎所有的程式设计师都同意就算语言本身有提供GOTO的功能，在除了少数罕见的情况下去使用GOTO是种不良的程序风。结果是之后世代的编程语言设计者发觉到结构化编程语言的争议实在既乏味又令人花撩乱。 在这段期间被开发出来的重要语言包括有：

1968 – Logo

1970 – Pascal

1970 – Forth

1972 – C语言

1972 – Smalltalk

1972 – Prolog

1973 – ML

1975 – Scheme

1978 – SQL (起先只是一种查询语言，扩充之后也具备了程式结构)

1980年代：增强、模组、效能

1980年代的编程语言与之前相较显得更为强大。C合并了面向对象以及系统程式设计。美国标准化一种名为Ada的系统编程语言并提供给国防承包商使用。日本以及其他地方运用了大量的资金对采用逻辑编程语言结构的第五代语言进行研究。函数编程语言社群则把焦点转移到标准化ML及Lisp身上。这些活动都不是在开发新的范式，而是在将上个世代发明的构想进一步发扬光大。 然而，在语言设计上有个重大的新趋势，就是研究运用模组或大型组织化的程式单元来进行大型系统的开发。Modula、Ada，以及ML都在1980年代发展出得注意的模组化系统。模组化系统常拘泥于采用泛型程式设计结构：

泛型存在(generics being)

本质(essence)

参数化模组(parameterized modules)

尽管没有出现新的主要编程语言范式，许多研究人员仍就扩充之前语言的构想并将它们运用到新的内容上。举例来说，Argus以及Emerald系统的语言配合面向对象语言运用到分散式系统上。 1980年代的编程语言实际情况也有所进展。计算机系统结构中RISC假定硬件应当为编译器设计，而并非为人类设计。借由处理器速度增快的帮助，编译技术也越来越进展神速，RISC的进展对高阶语言编译技术发展来不小的贡献。 在这段期间被开发出来的重要语言包括有：

1980 – Ada

1983 – C (就像有类别的C)

1984 – Common Lisp

1985 – Eiffel

1986 – Erlang

1987 – Perl

1988 – Tcl

本文来自电脑杂谈，转载请注明本文网址：
https://www.pc-fly.com/a/jisuanjixue/article-37952-8.html