程序设计语言可按范式、用途和功能分类。按范式分：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是一种面向对象的、编译的高级语言。