一、 按照编程范式分类

• 命令式编程语言
  强调通过语句来改变程序状态，如 C、Pascal、Fortran 等。

• 面向对象编程语言
  基于对象和类的概念，支持封装、继承和多态，如 Java、C++、Python、Ruby 等。

• 函数式编程语言
  注重不可变性和纯函数，强调函数的组合，如 Haskell、Erlang、Lisp、F# 等。

• 逻辑编程语言
  通过声明事实和规则，让系统自动推导答案，如 Prolog。

• 声明式编程语言
  主要描述“做什么”而非“如何做”，如 SQL（用于数据库查询）和部分配置语言。

---

二、 按照抽象层次分类

• 低级语言
  包括机器语言和汇编语言，直接与硬件交互，效率高但编程难度大。

• 中级语言
  兼具低级和高级语言特性，如 C，既能高效操作硬件，又有较好的结构化特性。

• 高级语言
  提供了更多抽象机制，便于程序员快速开发，如 Python、Java、Ruby、JavaScript 等。

---

三、 按照用途分类

• 系统编程语言
  用于操作系统、驱动、嵌入式系统开发，如 C、C++、Rust。

• 应用编程语言
  适用于桌面、移动、企业级应用开发，如 Java、C#、Swift。

• Web开发语言
  专注于网站和网络应用开发，如 JavaScript、PHP、Ruby（在 Rails 框架下）等。

• 脚本语言
  用于快速编写脚本、自动化任务及小型程序，如 Bash、Perl、Python。

• 数据科学与统计语言
  针对数据处理、分析和可视化，如 R、Python（配合 NumPy、pandas、Matplotlib 等库）、MATLAB。

---

四、 按照编译方式分类

• 编译型语言
  需要将源代码编译成可执行文件，如 C、C++。这种方式通常能获得较高的运行效率。

• 解释型语言
  通过解释器直接执行源代码，如 Python、Ruby、JavaScript。它们通常开发效率高、调试方便。

• 半编译型语言
  先将源代码编译成中间代码（字节码），再由虚拟机执行，如 Java（编译为字节码后在 JVM 上运行）、C#（编译为中间语言后在 .NET 环境中运行）。