一、 按照編程范式分類

• 命令式編程語言
  強調通過語句來改變程序狀態，如 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 環境中運行）。