程序设计语言可按范式、用途和功能分类。按范式分：1. 命令式（指定计算步骤）；2. 声明式（描述所需结果）；3. 函数式（使用数学函数）。按用途分：1. 通用语言（解决广泛问题）；2. 特殊用途语言（特定任务或领域）。按功能分：1. 底层语言（与硬件交互）；2. 中级语言（在底层和高级语言间转换）；3. 高级语言（更接近人类语言）。
程序设计语言的种类
程序设计语言根据其范式、用途和功能，可以分为多种不同的种类：
按范式划分
- 命令式语言：专注于指定计算步骤的顺序，例如 C、Java、Python
- 声明式语言：注重描述所需的结果，而不是具体步骤，例如 SQL、Haskell、Prolog
- 函数式语言：强调使用数学函数和不可变数据，例如 Lisp、Scala、Haskell
按用途划分
- 通用语言：可用于解决广泛问题的语言，例如 Java、Python、C++
- 特殊用途语言：专为特定任务或领域设计的语言，例如 SQL（数据库）、HTML（网页开发）、MATLAB（科学计算）
按功能划分
- 底层语言：直接与计算机硬件交互的语言，例如汇编语言、机器语言
- 中级语言：在底层语言和高级语言之间转换的语言，例如 C
- 高级语言：更接近人类语言，易于阅读和编写，例如 Python、Java、C#
其他分类
- 编译语言：在运行前转换为机器代码，例如 C、C++
- 解释语言：一行一行地逐行解释执行，例如 Python、JavaScript
- 面向对象语言：基于对象和类的概念，例如 Java、C++、Python
- 非面向对象语言：不使用对象或类，例如 C、汇编语言
需要注意的是，这些分类并不是相互排斥的，一些语言可能同时属于多个类别。例如，Java是一种面向对象的、编译的高级语言。
