FORTRAN:第一个广泛应用于科学计算的高级语言。其大部分代码都可直接使用硬件结构实现，因此执行效率高。
ALOGOL:有严格的文档规则（使用BNF描述），是一个分程序结构的语言。每个分程序由BEGIN…END括起来，说明其范围及名字作用域。分程序结构的主要优点是可以非常有效地使用存储器。
COBOL:面向事务处理的高级语言，将数据的描述从具体的计算机平台上剥离出来。
PASCAL:最早是为了教学的目的开发而成的，它拥有一些相当紧凑的机制，使其语言的表达能力十分强。它引入了数据结构、过程等重要概念。
C:是20世纪70年代发展起来的通用程序设计语言，提供了指针、数组、结构、联合等新的数据类型。它通过指针可以完成地址操作能力，因此是一种较低级的语言，能够编写出高效的程序。UNIX系统本身，以及其中大量的应用程序都是C编写的。
C++:是在C语言的基础上发展起来的，主要增加了类的功能，使其成为面向对象的程序设计语言。
Java：其是 “一次编写，到处运行”的平台无关性的面向对象语言。其最大的特点是一种半解释型语言，编译程序先将源程序(java后缀名)编译为字节码文件(class后缀名)，然后再由Java虚拟机(JVM)解释这些中间代码。
C＃：它是C++与Java的一种设计理念的结合，与Java类似，先编译成MSIL中间代码，然后由CLR来负责编译执行。面向对象的程序设计语言。
LISP:是一种函数式设计语言，所有的操作均通过表操作进行。主要用于人工智能领域。
PROLOG:是以特殊的逻辑推理形式回答用户的查询，它建立在关系理论和一阶谓词理论基础上。经常用于数据库和专家系统。
Python:是一种面向对象、直译式电脑编程语言用于编写独立程序和快速脚本的语言。
XML：可扩展标记语言，标准通用标记语言的子集，是一种用于标记电子文件使其具有结构性的标记语言。XML是各种应用程序之间进行数据传输的最常用的工具。
程序设计语言的分类
分类 | 主要特点 | 代表 |
命令式（过称式） | 基于动作的语言 | Fortran，C，Pascal |
函数式 | 以表操作进行处理 | Lisp，ML |
面向对象 | 对象与类是核心概念，封装，继承和多态是核心机制 | C++，SmallTalk，Java，C#，Python |
逻辑程序设计 | 以形式逻辑为基础 | Prolog |
面向方面 | 隔离横切式系统关注点 | Aspect |
