編程語言的種類繁多，總的來說分為機器語言、匯編語言以及高級語言三大類。
機械語言（machine language）：計算機可直接識別、運行的二進制代碼，執行速度快，資源占用少，但可讀性不強，編程復雜；
匯編語言（assembly language）：壹種用於電子計算機、微處理器、微控制器或其他可編程器件的低級語言，亦稱為符號語言。目標代碼簡短，占用內存少，執行速度快，但缺乏可移植性，編程復雜；
高級語言（High-level programming language）：相對於機器語言以及匯編語言，高級語言的可讀性強，可移植性高，壹般通過事先編好的壹個叫做編譯程序的機器語言程序編譯成用機器指令表示的目標程序。現在流行的高級語言有Java、C語言、C++、C#、Pascal、Basic等等。
擴展資料：
計算機對除機器語言以外的源程序不能直接識別、理解和執行，都必須通過某種方式轉換為計算機能夠直接執行的。
這種將高級程序設計語言編寫的源程序轉換到機器目標程序的方式有兩種：解釋方式和編譯方式。
解釋方式下，計算機對高級語言書寫的源程序壹邊解釋壹邊執行，不能形成目標文件和執行文件。
編譯方式下，首先通過壹個對應於所用程序設計語言的編譯程序對源程序進行處理，經過對源程序的詞法分析、語法分析、語意分析、代碼生成和代碼優化等階段將所處理的源程序轉換為用二進制代碼表示的目標程序，然後通過連接程序處理將程序中所用的函數調用、系統功能調用等嵌入到目標程序中，構成壹個可以連續執行的二進制執行文件。調用這個執行文件就可以實現程序員在對應源程序文件中所指定的相應功能。