程序设计语言，按照语言级别可以分为两大类：低级语言和高级语言。
低级语言包括机器语言和汇编语言。低级语言依赖于特定的机器，其使用复杂、繁琐、费时、易出差错，因而程序编写也有一定的难度。
机器语言是表示成二进制形式的机器基本指令集，或者是操作码经过符号化的基本指令集，其存储由语言本身决定。汇编语言比机器语言更直观，是机器语言中地址部分符号化的结果，或进一步包括宏构造。
即便是现在汇编语言有着生产效率低、维护困难、容易出错的缺点，但是在实现与硬件系统接口部分时，仍然采用它，因为它易于实现接口，实现效率高。
高级语言的表示方法要比低级语言更接近于待解的问题，其特点是在一定程度上与具体机器无关，易学、易用、易维护。高级语言的实现极大地提高了软件的生产效率。
众多的高级语言根据不同的标准有不同的分类方式。
（1）按照应用范围分为：通用语言与专用语言。
通用语言有：Pascal、C、C++、Java等；目标单一的语言称为专用语言，有：APT等。
（2）按照用户的要求分为：过程式语言和非过程式语言。
过程式语言的主要特征是，用户可以指明一系列可执行的顺序运算，以表示相应的计算过程，如Pascal、C等；非过程式语言反之，较为著名的是Java。
（3）按照使用方式分为：交互式语言和非交互式语言。
具有反映人机交互作用的语言成分的语言成为交互式语言，如BASIC等；不反映人机交互作用的语言称为非交互式语言，如Pascal、C等都是非交互式语言。
（4）按照语言的内在特点分为：系统实现语言、静态高级语言、动态高级语言和块结构高级语言；
系统实现语言例如：C语言；静态高级语言例如：COBOL和FORTRAN语言；动态高级语言的特点是动态完成所有的存储管理，如Java；块结构高级语言，例如ALGOL和Pascal语言。