计算机程序设计语言，通常简称为编程语言，是人与计算机进行信息交互、指令传达的媒介与规范。根据不同的设计范式、抽象层级和应用场景，可以将其划分为几种主要类型。
1. 按抽象层级与执行方式分类
这是最核心的分类方式之一。
- 机器语言：由二进制代码（0和1）直接构成，是计算机硬件（CPU）能够直接识别和执行的最底层语言。其执行效率极高，但可读性、可维护性极差，几乎不用于直接编程。
- 汇编语言：用助记符（如MOV, ADD）代替二进制指令码，是机器语言的符号化表示。它通过汇编器转换为机器语言。汇编语言与硬件架构紧密相关，能进行精细的硬件控制，但同样复杂且不易移植。
- 高级语言：这是现代编程最主流的类型。它采用接近人类自然语言（主要是英语）和数学公式的语法，极大地屏蔽了硬件细节，提高了开发效率与代码可读性。高级语言需要通过编译器或解释器转换为机器语言才能执行。例如C、C++、Java、Python、JavaScript等都属于高级语言。
2. 按编程范式分类
编程范式是指导程序设计和构建的哲学与方法论。
- 命令式编程：关注“如何做”，通过一系列明确的命令（语句）来改变程序状态。它是最基础的范式，可进一步分为：
- 过程式编程：以过程（函数、子程序）为中心组织代码，强调步骤分解。代表语言：C、Pascal。
- 面向对象编程：以对象（数据与方法的封装体）为中心，通过类、继承、多态等概念组织代码。代表语言：Java、C++、Python、C#。
- 声明式编程：关注“做什么”，描述目标的性质和逻辑，而非具体执行步骤。主要包括：
- 函数式编程：将计算视为数学函数的求值，避免状态改变和可变数据，强调函数的纯粹性与组合。代表语言：Haskell、Scala、Erlang，现代语言如JavaScript、Python也支持函数式特性。
- 逻辑式编程：基于形式逻辑，通过定义事实和规则，让计算机自动进行逻辑推理以求解问题。代表语言：Prolog。
3. 按应用领域与设计目的分类
通用编程语言：设计用于解决广泛领域的问题，如系统开发、应用软件、Web开发等。例如：Java、Python、C++、Go。
领域特定语言：为解决特定领域问题而设计，语法和功能高度专业化。例如：
* SQL：专门用于数据库查询和操作。
- HTML/CSS：用于描述网页结构和样式（严格来说，HTML是标记语言，CSS是样式表语言）。
- MATLAB：专注于数值计算和科学工程领域。
- R：专注于统计分析和数据可视化。
4. 按执行类型分类
编译型语言：程序源代码需要通过编译器一次性整体翻译成目标机器码（可执行文件），然后执行。执行速度快，但跨平台性较差（通常需要为不同平台重新编译）。代表语言：C、C++、Go、Rust。
解释型语言：程序源代码由解释器逐行读取、解释并立即执行，无需预先编译成独立文件。跨平台性好（有对应平台的解释器即可），但通常执行效率低于编译型语言。代表语言：Python、JavaScript（在浏览器中）、PHP、Ruby。
* 混合型语言：结合了编译和解释的特性。例如，Java先将源代码编译成字节码（中间码），然后由Java虚拟机解释执行或即时编译执行；C#的.NET平台也采用类似机制。
****
计算机编程语言的分类是多维度的，一种语言往往同时属于多个类别（如Python既是高级语言、解释型语言，也支持面向对象和函数式范式）。了解这些分类有助于程序员根据项目需求、性能要求、团队技能和开发效率，选择最合适的工具。随着技术发展，现代语言的设计也趋向于融合多种范式的优点，以提供更强大、更灵活的编程能力。
