History of program

第一阶段：1950与1960年代

1.三个现代编程语言：

（1）Fortran (1955)，名称取自"FORmula TRANslator"(公式翻译器)，由约翰·巴科斯等人所发明；

（2）LISP，名称取自"LISt Processor"(枚举处理器)，由约翰·麦卡锡等人所发明；

（3）COBOL，名称取自"COmmon Business Oriented Language"(通用商业导向语言)，由被葛丽丝·霍普深刻影响的Short Range Committee所发明。

2.创新：

1950年代晚期，由美国与欧洲计算器学者针对"算法的新语言"所组成的委员会出版的ALGOL 60报告(名称取自"ALGOrithmic Language"(算法语言))。这份报告强化了当时许多关于计算的想法，并提出了两个语言上的创新功能：

（1）嵌套区块结构：可以将有意义的代码片段组群成一个区块(block)，而非转成分散且特定命名的程序。

（2）词汇范围(lexical scoping)：区块可以有区块外部无法透过名称访问，属于区块本身的变量、程序以及函数。

另一个创新则是关于语言的描述方式：

一种名为巴科斯-诺尔范式 (BNF)的数学化精确符号被用于描述语言的语法。之后的编程语言几乎全部都采用类似BNF的方式来描述程序语法中上下文无关的部分。

Algol 60对之后语言的设计上带来了特殊的影响，部分的语言很快的就被广泛采用。后续为了开发Algol的扩展子集合，设计了一个名为Burroughs(en:Burroughs large systems)的大型系统。

延续Algol的关键构想所产生的成果就是ALGOL 68：

（1）语法跟语义变的更加正交(orthogonal)，采用匿名的历程(routines)，采用高端(higher-order)功能的递归式输入(typing)系统等等。

（2）整个语言及语义的部分都透过为了描述语言而特别设计的Van Wijngaarden grammar来进行正式的定义，而不仅止于上下文无关的部分。

Algol 68一些较少被使用到的语言功能(如同步与并行区块)、语法快捷方式的复杂系统，以及类型自动强制转换(coercions)，使得实现者兴趣缺缺，也让Algol 68获得了很难用(diffcult)的名声。尼克劳斯·维尔特就干脆离开该设计委员会，另外再开发出更简单的Pascal语言。

在这段期间被开发出来的重要语言包括有：

1951 - Regional Assembly Language，1952 - Autocode，1954 - FORTRAN，

1954 - IPL (LISP的先驱)，1955 - FLOW-MATIC (COBOL的先驱)，

1957 - COMTRAN (COBOL的先驱)，1958 - LISP，1958 - ALGOL 58

1959 - FACT (COBOL的先驱)，1959 - COBOL，1962 - APL，1962 - Simula

1962 - SNOBOL，1963 - CPL (C的先驱)，1964 - BASIC，1964 - PL/I

1967 - BCPL (C的先驱)

第二阶段：1967-1978：确立了基础范式

1960年代晚期至1970年代晚期的期间中，编程语言的发展也有了重大的成果。大多数现在所使用的主要语言范式都是在这段期间中发明的：

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

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

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

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

（5）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的进展对高级语言编译技术带来不小的关注。

语言技术持续这些发展并迈入了1990年代。

在这段期间被开发出来的重要语言包括有：

1980 - Ada，1983 - C++ (就像有类别的C)，1984 - Common Lisp

1985 - Eiffel，1986 - Erlang，1987 - Perl，1988 - Tcl，1989 - FL (Backus)

第四阶段：1990年代：互联网时代

1990年代未见到有什么重大的创新，大多都是以前构想的重组或变化。这段期间主要在推动的哲学是提升程序员的生产力。许多"快速应用程序开发" (RAD) 语言也应运而生，这些语言大多都有相应的集成开发环境、垃圾回收等机制，且大多是先前语言的派生语言。这类型的语言也大多是面向对象的编程语言，包含有Object Pascal、Visual Basic，以及C#。Java则是更加保守的语言，也具备垃圾回收机制。与其他类似语言相比，也受到更多的观注。新的脚本语言则比RAD语言更新更好。这种语言并非直接从其他语言派生，而且新的语法更加开放地(liberal)与功能契合。虽然脚本语言比RAD语言来的更有生产力，但大多会有因为小程序较为简单，但是大型程序则难以使用脚本语言撰写并维护的顾虑[来源请求]。尽管如此，脚本语言还是网上层面的应用上大放异彩。

在这段期间被开发出来的重要语言包括有：

1990 - Haskell，1991 - Python，1991 - Visual Basic，1993 - Ruby，

1993 - Lua，1994 - CLOS (part of ANSI Common Lisp)，1995 - Java

1995 - Delphi (Object Pascal)，1995 - JavaScript，1995 - PHP

1997 - REBOL，1999 - D

现今的趋势

编程语言持续在学术及企业两个层面中发展进化，目前的一些趋势包含有：

（1）在语言中增加安全性与可靠性验证机制：额外的堆栈检查、信息流(information flow)控制，以及静态线程安全。

（2）提供模块化的替代机制：混入(en:mixin)、委派(en:delegates)，以及观点导向。

（3）组件导向(component-oriented)软件开发

（4）元编程、反射或是访问抽象语法树(en:Abstract syntax tree)

（5）更重视分布式及移动式的应用。

（6）与数据库的集成，包含XML及关系数据库。

（7）支持使用Unicode编写程序，所以源代码不会受到ASCII字符集的限制，而可以使用像是非拉丁语系的脚本或延伸标点符号。

（8）图形用户界面所使用的XML(XUL、XAML)。

在这段期间被开发出来的重要语言包括有：

2001 - C#，2001 - Visual Basic .NET，2002 - F#，2003 - Scala

2003 - Factor，2006 - Windows PowerShell，2007 - Clojure

2009 - Go，2014 - Swift (编程语言)

自己的预测

　　未来编程语言会针对性的统一。