為了使電子計算機進行各種工作，就需要有一套用以編寫計算機程式的數字、字元和語法規劃，由這些字元和語法規則組成計算機各種指令（或各種語句），這些就是計算機能接受的語言。高階程式語言作為一種通用的程式語言，它的語言結構和計算機本身的硬體以及指令系統無關，它的可閱讀性更強，能夠方便的表達程式的功能，更好的描述使用的演算法。同時，它更 容易被初學者所掌握，很容易學習。而且容易學習掌握。但是高階程式語言因為是一種編譯語言，所以他的執行速度比彙編程式要低，同時因為高階語言比較冗長，所以程式碼的執行速度也要慢一些。高階程式語言，作為使用者層面的程式設計工具，使用者並不需要去了解硬體的結構，而是去用邏輯的語言去實現想要的目標，但是因為高階程式語言的架構高於彙編，所以不能編寫直接訪問硬體資源的系統程式，因此，高階程式語言必須要調用匯編語言編寫的程式來訪問硬體地址。高階語言分類1、令式語言。這種語言的語義基礎是模擬資料儲存/資料操作的圖靈機可計算模型，十分符合現代計算機體系結構的自然實現方式。其中產生操作的主要途徑是依賴語句或命令產生的副作用。3、函式式語言。這種語言的語義基礎是基於數學函式概念的值對映的λ運算元可計算模型。這種語言非常適合於進行人工智慧等工作的計算。典型的函式式語言如Lisp、Haskell、ML、Scheme、F#等。4、邏輯式語言。這種語言的語義基礎是基於一組已知規則的形式邏輯系統。這種語言主要用在專家系統的實現中。最著名的邏輯式語言是Prolog。5、面嚮物件語言。現代語言中的大多數都提供面向物件的支援，但有些語言是直接建立在面向物件基本模型上的，語言的語法形式的語義就是基本物件操作。主要的純面嚮物件語言是Smalltalk。6、雖然各種語言屬於不同的型別，但它們各自都不同程度地對其他型別的運算模式有所支援。