程序设计语言的发展是一个不断演化的过程，其根本的推动力就是对抽象机制的更高要求，以及对程序设计活动更好地支持。具体地说，就是把机器能够理解的语言提升到也能够很好地模仿人类思考问题的形式。常见的程序设计语言如下所示：

1、FORTRAN

这是第一个高级程序设计语言，在数值计算领域积累了大量高效而可靠的程序代码。FORTRAN语言的最大特性是接近数学公式的自然描述，具有很高的执行效率，目前广泛地应用于并行计算和高性能计算领域。

2、ALGOL

诞生于晶体管计算机流行的年代，ALGOL60 是程序设计语言发展史上的一个里程碑，主导了20世纪60年代程序语言的发展，并为后来软件自动化及软件可靠性的发展奠定了基础。

3.PASCAL

该语言是一种结构化程序设计语言，由瑞士苏黎世联邦工业大学的沃斯教授设计，于1971年正式发表。PASCAL是从ALGOL60衍生的，但功能更强且容易使用，该语言在高校计算机软件教学中曾经处于主导地位。

4、C语言

是20世纪70年代发展起来的一种通用程序设计语言，其主要特色是兼顾了高级语言和汇编语言的特点，简洁、丰富、可移植。UNIX操作系统及其上的许多软件都是用C编写的。C提供了高效的执行语句并且允许程序员直接访问操作系统和底层硬件，适用于系统级编程和实时处理应用。

5、C++

是在C语言的基础上于20世纪80年代发展起来的，与C语言兼容。在C++中，最主要的是增加了类机制，使其成为一种面向对象的程序设计语言。C++具有更强的表达能力，提供了表达用户自定义数据结构的现代高级语言特性，其开发平台还提供了实现基本数据结构和算法的标准库，使得程序员能够改进程序的质量，并易于代码的复用，从而可以进行大规模的程序开发和系统组织。

6、Java

产生于20世纪90年代，其初始用途是开发网络浏览器的小应用程序，但是作为一种通用的程序设计语言，Java 得到非常广泛的应用。Java 保留了C++的基本语法、类和继承等概念，删掉了C++中一些不好的特征，因此与C++相比，Java 更简单，其语法和语义更合理。各种程序设计语言都在不断地发展之中。目前，程序设计语言及编程环境向着面向对象及可视化编程环境方向发展，出现了许多新的语言及开发工具。

7、C# 

是由Microsoft公司开发的一种面向对象的、运行于.NET Framework的高级程序设计语言，相对于C++，这个语言在许多方面进行了限制和增强。

8、Objective-C

继承了C语言的特性，是扩充C的面向对象编程语言，其与流行的编程语言风格差异较大。该语言主要由Apple公司维护，是MAC系统下的主要开发语言。与C#类似，Objective-C 仅支持单一父类继承，不支持多重继承。

9、Ruby

该语言是大约在1993年设计的一种解释性、面向对象、动态类型的脚本语言。Ruby 体现了表达的一致性和简单性，它不仅是一门编程语言，更是表达想法的一种简练方式。

10、PHP

是一种在服务器端执行的、嵌入HTML文档的脚本语言，其语言风格类似于C语言，由网站编程人员广泛运用。PHP可以快速地执行动态网页，其语法混合了C、Java、Perl以及PHP自创的语法。由于在服务器端执行，PHP能充分利用服务器的性能。另外，PHP支持几乎所有流行的数据库以及操作系统。

11、Python

是一种面向对象的解释型程序设计语言，可以用于编写独立程序、快速脚本和复杂应用的原型。Python也是一种脚本语言，它支持对操作系统的底层访问，也可以将Python源程序翻译成字节码在Python虚拟机上运行。虽然Python的内核很小，但它提供了丰富的基本构建块，还可以用C、C++和Java等进行扩展，因此可以用它开发任何类型的程序。

12、JavaScript

是一种脚本语言，被广泛用于Web应用开发，常用来为网页添加动态功能，为用户提供更流畅美观的浏览效果。通常,将JavaScript脚本嵌入在HTML中来实现自身的功能。

13、Delphi

是一种可视化开发工具，在Windows环境下使用，其在Linux上的对应产品是Kylix，其主要特性为基于窗体和面向对象的方法、高速的编译器、强大的数据库支持、与Windows编程紧密结合以及成熟的组件技术。

14、Visual Basic .NET

是基于微软.NET Framework的面向对象的编程语言。用.NET语言开发的程序源代码，不是直接编译成能够直接在操作系统上执行的二进制本地代码，而是被编译成为中间代码MSIL，然后通过 .NET Framework的通用语言运行时(CLR)来执行。程序执行时，.Net Framework 将中间代码翻译成为二进制机器码后，使它得以运行。因此，如果计算机上没有安装 .Net Framework，这些程序将不能够被执行。

15、标记语言(Markup Language)

用一系列约定好的标记来对电子文档进行标记，以实现对电子文档的语义、结构及格式的定义。这些标记必须容易与内容区分，并且易于识别。SGML、XML、HTML、MathML、WML、SVG、 CML和XHTML等都是标记语言。