本节书摘来自华章出版社《编译与反编译技术》一书中的第1章，第1.5节高级语言及其分类，作者庞建民，陶红伟，刘晓楠，岳峰，更多章节内容可以访问“华章计算机”公众号查看。
1.5 高级语言及其分类
根据应用类型的不同，涌现了多种多样的面向人类的高级语言，其中典型的有如下几类形式。
1.过程式语言
过程式语言也称为强制式语言（Imperative Language）。这类语言的特点是面向语句，命令驱动。一个用过程式语言编写的程序由一系列语句组成，语句的执行会引起若干存储单元中的值发生改变。许多著名的语言，如Algol、Fortran、Pascal、C等，属于这类语言。
2.函数式语言
函数式语言也称为应用式语言（Applicative Language）。这类语言的特点是用函数的方式表示其功能，而不是通过一个语句接一个语句的执行来表示具体的操作步骤。这类程序的开发过程体现为，由之前已有的函数构造更复杂的函数。Lisp、ML和Haskell属于这类语言。
3.逻辑程序设计语言
逻辑程序设计语言也称为基于规则的语言。这类语言的程序执行过程是：检查由逻辑表达式表示的条件，当其为真时，则执行相应的动作。Prolog语言是这类语言的典型代表，它使用Horn子句逻辑来表述相关规则，体现程序要做什么，而不是怎么做。
4.面向对象的语言
面向对象的语言已成为目前最流行的语言，这类语言的主要特征是支持封装性、继承性和多态性等特性。像近世代数中的代数系统那样，这类语言将复杂的数据和对这些数据的操作封装在一起，构成对象；对简单对象进行扩充，在继承简单对象特性的基础上，增加新的特性，从而得到更复杂的对象；这一点与近世代数中半群、群、环、域等代数系统之间的继承等关系非常相似。通过对象的构造可以使得面向对象程序获得过程式语言的有效性，通过作用于限定范围内数据的函数的构造可以使其获得函数式语言的灵活性和可靠性。Smalltalk、C++、Java等语言是面向对象语言的典型代表，而OCAML、F#则融合了函数式语言和面向对象的特性。
5.结构化查询语言
结构化查询语言（Structured Query Language）简称SQL，是一种数据库查询和程序设计语言，通常用于存取数据以及查询、更新和管理关系数据库系统。结构化查询语言允许用户在高层数据结构上工作，它不要求用户指定数据的存放方法，也不需要用户了解具体的数据存放方式，即使具有完全不同底层结构的不同数据库系统也可以使用相同的结构化查询语言作为数据输入与管理的接口。结构化查询语言中的语句还可以嵌套，这使其具有很大的灵活性和很强的功能。
6.其他面向特定应用领域的语言
随着计算机应用领域的进一步拓展，涌现了多种面向特定应用领域的高级语言，较为典型的有：面向互联网应用的HTML、XML，面向集成电路设计的VHDL、Verilog，面向计算机辅助设计的Matlab，面向虚拟现实的VRML等。这些语言推动了计算机应用的快速发展，使得计算机成为人类生活中不可或缺的重要工具。