程序语言的种类有：1、机器语言；2、汇编语言；3、高级程序语言。其中，机器语言是以二进制代码表示的指令集合，是计算机唯一能直接识别和执行的语言。机器语言的优点是占用内存少、执行速度快，缺点是难编写、难阅读、难修改、难移植，这种语言已经被渐渐淘汰了。

1、机器语言

机器语言是由二进制 0、1 代码指令构成，不同的 CPU 具有不同的指令系统。机器语言程序难编写、难修改、难维护，需要用户直接对存储空间进行分配，编程效率极低，程序代码直观性、兼容性差，并且很容易出现错误，这种语言已经被渐渐淘汰了。

2、汇编语言

汇编语言是将机器语言的二进制代码指令用简单符号(助记符)表示的一种语言。因此汇编语言与机器语言本质上是相同的，都可以直接对计算机硬件设备进行操作。汇编语言编程需要对计算机硬件结构有所了解，这无疑大大增加了编程难度。但是汇编语言生成的可执行文件很小，而且执行速度很快。因此，工业控制领域经常采用汇编语言进行编程。汇编语言与计算机硬件设备(主要是CPU)相关，不同系列CPU(如ARM与Intel的CPU)的机器指令不同，因此它们的汇编语言也不同。

3、高级程序语言

高级语言将计算机内部的许多相关机器操作指令，合并成一条高级程序指令，并且屏蔽了具体操作细节(如内存分配、寄存器使用等)，这样大大简化了程序指令，使编程者不需要专业知识就可以进行编程。高级程序语言便于人们阅读、修改和调试，而且移植性强，因此高级程序语言已成为目前普遍使用的编程语言。

拓展阅读

高级程序语言的分类

从应用角度分类：

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 语言。

从客观系统的描述分类：

1、面向过程语言

以“数据结构+算法”程序设计范式构成的程序设计语言，称为面向过程语言。前面介绍的程序设计语言大多为面向过程语言。

2、面向对象语言

以“对象+消息”程序设计范式构成的程序设计语言，称为面向对象语言。比较流行的面向对象语言有 Delphi、Visual Basic、Java、C++等。