程序设计语言分类

程序设计语言分类

（参考自龙书《编译原理》机械工业出版社）

一、通过语言的代来分类

代	语言名称	举例
第一代语言	机器语言	010101010
第二代语言	汇编语言	MASM、NASM、TASM、FASM
第三代语言	高级程序设计语言	Fortran、Cobol、Pascal、Lisp、C、C++、C#、Java等
第四代语言	为特定应用设计的语言	用于生产报告的NOMAD，用于数据库查询的SQL和用于文本排版的Postscript
第五代语言	基于逻辑和约束的语言	Prolog和OPS5

二、强制式语言和声明式语言

语言种类	定义	举例
强制式/命令式/ 指令式言(imperative language)	程序中指明如何完成一个计算任务的语言(所有强制式语言中都有用于表示程序状态和语句的表示方法)。需要用算法来明确的指出每一步该怎么做。它通常被看做是形式逻辑的理论，把计算看做推导。	C,C++,C#和Java、FORTRAN、Pascal等。
声明式语言(declarative language)	程序中指明要进行哪些计算的语言。描述目标性质，让计算机明白目标，而非流程。声明式编程不用告诉计算机问题领域，从而避免随之而来的副作用。	ML、Haskell这样的函数式语言和Prolog这样的约束逻辑语言

三、面向对象语言(object-oriented language)和非面向对象语言

语言种类	编程思想	特点	举例
面向对象语言	面向对象	分析出解决问题所需要的步骤，然后用函数把这些步骤一步一步实现，使用的时候一个一个依次调用就可以了	Simula67,Smalltalk,C++,C#,Java和Ruby等
非面向对象语言	面向过程	把构成问题事务分解成各个对象，建立对象的目的不是为了完成一个步骤，而是为了描叙某个事物在整个解决问题的步骤中的行为。	C，FORTRAN,

（引用自龙书《编译原理》机械工业出版社）

四、冯·诺依曼语言(von Neumann language)、和脚本语言(scripting language)

1.冯.诺伊曼语言是指以冯.诺伊曼计算机体系结构为计算模型的程序设计语言。今天的很多语言（比如Fortan和C）都是冯.诺伊曼语言。

2.脚本语言（scripting language）是具有高层次运算符的解析型语言，它通常被用于把多个计算过程“粘合”在一起。这些计算过程被称为脚本。Awk、JavaScript、Perl、PHP、Python、Ruby和Tcl是常见的脚本语言。使用脚本语言编写的程序通常要比其他语言（比如C）写的等价的程序短很多。脚本语言是为了缩短传统的编写-编译-链接-运行（edit-compile-link-run）过程而创建的计算机编程语言。 它的命名起源于一个脚本“screenplay”，每次运行都会使对话框逐字重复。早期的脚本语言经常被称为批量处理语言或工作控制语言。