程序语言主要可以分为以下几类：
机器语言
使用二进制代码编写，能被计算机直接接受和执行。特点是执行速度快，但编写复杂，可读性和可移植性差。
汇编语言
使用助记码代替机器语言，用地址符号或标号代替指令或操作数的地址。程序不能被机器直接识别，要经过翻译器翻译成机器语言。
高级语言
提供更高级的抽象，使得开发过程更有效率，易于理解和维护。高级语言大致可分为编译语言和解释语言。
编译语言：需要先将代码编译成二进制文件再执行。
解释型语言：在运行时逐行解释执行。
混合型语言：在编译的时候不是直接编译成机器码而是中间码，如Java和C。
动态语言
程序在运行时可以改变其结构，如新的函数可以被引进，已有的函数可以被删除等。
静态语言
在编译时检查类型，提供了更好的类型安全。静态类型语言包括C++、Java和Go等。
函数式语言
基于数学函数概念的值映射的λ算子可计算模型，非常适合于进行人工智能等工作的计算。典型的函数式语言如Lisp、Haskell、ML、Scheme、F等。
逻辑式语言
基于一组已知规则的形式逻辑系统，主要用在专家系统的实现中。最著名的逻辑式语言是Prolog。
面向对象语言
提供面向对象的支持，语法形式的语义就是基本对象操作。主要的纯面向对象语言是Smalltalk。
命令式语言
语义基础是模拟“数据存储/数据操作”的图灵机可计算模型，现代流行的大多数语言都是这一类型，如Fortran、Pascal、C++、Java、C等。
其他分类
过程式语言：用户可以指明一列可顺序执行的运算，以表示相应的计算过程，如Fortran、COBOL、Pascal等。
交互式语言：具有反映人机交互作用的语言成分，如BASIC等。
非交互式语言：不反映人机交互作用，如Fortran、COBOL、ALGOL69、Pascal、C语言等。
并发语言：含有并发成分，如Pascal、Modula和Ada等。
这些分类并不是互斥的，一种编程语言可能同时属于多个分类。例如，Python既是一种高级语言，也是一种动态语言和解释型语言。选择使用哪种编程语言取决于具体的应用场景和开发需求。