程式語言的分類有機器語言、彙編語言、高級語言和非過程化語言。
1、機器語言。機器語言是由二進制0、1代碼指令構成，不同的CPU具有不同的指令系統。機器語言程序難編寫、難修改、難維護，需要用户直接對存儲空間進行分配，編程效率極低。這種語言已經被漸漸淘汰了。
2、彙編語言。彙編語言指令是機器指令的符號化，與機器指令存在着直接的對應關係，所以彙編語言同樣存在着難學難用、容易出錯、維護困難等缺點。但是彙編語言也有自己的優點：可直接訪問系統接口，彙編程序翻譯成的機器語言程序的效率高。從軟件工程角度來看，只有在高級語言不能滿足設計要求，或不具備支持某種特定功能的技術性能時，彙編語言才被使用。
3、高級語言。高級語言是面向用户的、基本上獨立於計算機種類和結構的語言。其最大的優點是：形式上接近於算術語言和自然語言，概念上接近於人們通常使用的概念。高級語言的一個命令可以代替幾條、幾十條甚至幾百條彙編語言的指令。因此，高級語言易學易用，通用性強，應用廣泛。
4、非過程化語言。4GL是非過程化語言，編碼時只需説明“做什麼”，不需描述算法細節。數據庫查詢和應用程序生成器是4GL的兩個典型應用。用户可以用數據庫查詢語言對數據庫中的信息進行復雜的操作。用户只需將要查找的內容在什麼地方、根據什麼條件進行查找等信息告訴 SQL，SQL 將自動完成查找過程。應用程序生成器則是根據用户的需求“自動生成”滿足需求的高級語言程序。真正的第四代程式語言應該説還沒有出現。所謂的第四代語言大多是指基於某種語言環境上具有4GL特徵的軟件工具產品，System Z、如PowerBuilder、FOCUS等。第四代程式語言是面向應用，為最終用户設計的一類程式語言。它具有縮短應用開發過程、降低維護代價、最大限度地減少調試過程中出現的問題以及對用户友好等優點。
