高階語言包括很多程式語言，如目前流行的java，c，c++，C#，pascal，python，lisp，prolog，FoxPro，VC，易語言，中文版的C語言習語言等等，這些語言的語法、命令格式都不相同。程式設計語言的型別：命令式語言。這種語言的語義基礎是模擬“資料儲存/資料操作”的圖靈機可計算模型，十分符合現代計算機體系結構的自然實現方式。其中產生操作的主要途徑是依賴語句或命令產生的副作用。現代流行的大多數語言都是這一型別，比如Fortran、Pascal、Cobol、C、C++、Basic、Ada、Java、C# 等，各種指令碼語言也被看作是此種類型。函式式語言。這種語言的語義基礎是基於數學函式概念的值對映的λ運算元可計算模型。這種語言非常適合於進行人工智慧等工作的計算。典型的函式式語言如 Lisp、Haskell、ML、Scheme 、F#等。邏輯式語言。這種語言的語義基礎是基於一組已知規則的形式邏輯系統。這種語言主要用在專家系統的實現中。最著名的邏輯式語言是 Prolog。面嚮物件語言。現代語言中的大多數都提供面向物件的支援，但有些語言是直接建立在面向物件基本模型上的，語言的語法形式的語義就是基本物件操作。主要的純面嚮物件語言是 Smalltalk。雖然各種語言屬於不同的型別，但它們各自都不同程度地對其他型別的運算模式有所支援。