程式語言主要包括以下型別：1、機器語言與組合語言；2、系統程式語言；3、通用高階程式語言；4、領域特定語言（DSL）；5、指令碼語言；6、函數語言程式設計語言；7、邏輯程式語言；8、併發程式語言。 其中，*通用高階程式語言在當代的軟體開發中應用最為廣泛，這類語言旨在提高開發效率，降低硬體依賴，有助於開發者更直觀地表達邏輯和構建複雜系統*。
一、機器語言與組合語言
機器語言直接與電腦硬體互動，它由一系列二進位制程式碼組成，能夠被硬體執行。組合語言則稍微高階一點，用助記符代替機器指令，需要透過彙編器轉換為機器碼。
二、系統程式語言
設計用於編寫系統軟體的程式語言。它們通常提供更接近硬體層的控制能力和高效能。例如C語言，因其能提供底層訪問許可權和極小的執行時支援，常用於作業系統和嵌入式系統開發。
三、通用高階程式語言
這些語言用於各種型別的程式開發，如Java、Python、C++和C#等，它們封裝了複雜的硬體細節，極大地提升了開發效率。
四、領域特定語言（DSL）
這類語言針對特定問題或領域開發，它們在特定的應用場景中提供了更高效率和表達能力。例如SQL用於資料庫查詢，Verilog用於硬體描述。
五、指令碼語言
被設計用來快速編寫指令碼或者小程式，它們常常用於自動化常規任務。例如Python、Ruby和Perl等。
六、函數語言程式設計語言
這類語言基於函數語言程式設計正規化，強調在程式中使用函式來傳遞資料和運算元據。比如Haskell和Erlang。
七、邏輯程式語言
以邏輯和宣告式程式設計為核心，使用者定義“什麼”需要做，而不是具體“如何”去做。一個典型代表是Prolog。
八、併發程式語言
面向併發任務的程式語言，它可以更優雅地處理多執行緒和多程序問題。例如Go語言和Erlang語言。
九、新興與實驗性程式語言
隨著電腦科學的不斷髮展，持續有新的程式語言出現，試圖提供更好的效能、安全性或者易用性。例如Rust語言強調記憶體安全，Kotlin側重於提高Java虛擬機器上應用的開發效率。
相關問答FAQs：
什麼是程式語言？
程式語言是一種用於定義計算機程式的形式語言，它可以用於編寫各種應用程式，從簡單的網頁尾本到複雜的軟體系統。
常見的程式語言有哪些？
常見的程式語言包括Java, JavaScript, Python, C++, C#, PHP, Ruby, Swift, Objective-C等。每種語言都有其獨特的特點和適用場景。
如何選擇適合自己的程式語言？
選擇程式語言應該根據自己的應用場景和興趣進行選擇。比如，想要開發網頁應用的話，可以選擇JavaScript；想要進入資料科學領域，可以選擇Python；對於遊戲開發，C++和Unity可能更適合。重要的是要根據自己的需求和目標去選擇一門適合的程式語言。