計算機程序設計語言，通常簡稱為編程語言，是人與計算機進行信息交互、指令傳達的媒介與規范。根據不同的設計范式、抽象層級和應用場景，可以將其劃分為幾種主要類型。

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既是高級語言、解釋型語言，也支持面向對象和函數式范式）。了解這些分類有助于程序員根據項目需求、性能要求、團隊技能和開發效率，選擇最合適的工具。隨著技術發展，現代語言的設計也趨向于融合多種范式的優點，以提供更強大、更靈活的編程能力。