高级程序设计语言可以分为基础语言、结构化语言和专用语言。
(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语言。