高级程序设计语言可以分为基础语言、结构化语言和专用语言。
(1) 基础语言
基础语言也称通用语言。它历史悠久，流传很广，有大量的已开发的软件库，拥有众多的用户， 为人们所熟悉和接受。 属于这类语言的有 FORTRAN、COBOL、BASIC、ALGOL等。FORTRAN 语言是目前国际上广为流行、也是使用得最早的一种
高级语言，从 20 世纪90 年代起，在工程与科学计算中一直占有重要地位，备受科技人员的欢迎。BASIC 语言是在 20 世纪 60 年代初为适应
分时系统而研制的一种交互式语言，可用于一般的数值计算与事务处理。BASIC 语言结构简单，易学易用，并且具有交互能力，成为许多初学者学习程序设计的入门语言。
(2) 结构化语言
20 世纪 70 年代以来，结构化程序设计和
软件工程的思想日益为人们所接受和欣赏。在它们的影响下，先后出现了一些很有影响的结构化语言，这些结构化语言直接支持结构化的控制结构，具有很强的过程结构和
数据结构能力。PASCAL、C、Ada 语言就是它们的突出代表。
PASCAL 语言是第一个系统地体现结构化程序设计概念的现代高级语言，软件开发的最初目标是把它作为结构化程序设计的教学工具。由于它模块清晰、控制结构完备、有丰富的
数据类型和数据结构、语言表达能力强、移植容易，不仅被国内外许多高等院校定为教学语言，而且在科学计算、数据处理及系统软件开发中都有较广泛的应用。
C 语言功能丰富，表达能力强，有丰富的
运算符和数据类型，使用灵活方便，应用面广，移植能力强，编译质量高，目标程序效率高，具有高级语言的优点。同时，C 语言还具有
低级语言的许多特点，如允许直接访问
物理地址，能进行位操作，能实现
汇编语言的大部分功能，可以直接对硬件进行操作等。用 C 语言编译程序产生的目标程序，其质量可以与汇编语言产生的目标程序相媲美，具有“可移植的汇编语言”的美称，成为编写应用软件、操作系统和编译程序的重要语言之一。
(3) 专用语言
是为某种特殊应用而专门设计的语言，通常具有特殊的语法形式。一般来说，这种语言的应用范围狭窄，移植性和可维护性不如结构化程序设计语言。随着时间的发展，被使用的专业语言已有数百种，应用比较广泛的有 APL 语言、Forth 语言、LISP 语言。