高級語言包括很多編程語言，如目前流行的java，c，c++，C#，pascal，python，lisp，prolog，FoxPro，VC，易語言，中文版的C語言習語言等等，這些語言的語法、命令格式都不相同。

程序設計語言的類型：命令式語言，這種語言的語義基礎是模擬“數據存儲/數據操作”的圖靈機可計算模型，十分符合現代計算機體系結構的自然實現方式。

其中產生操作的主要途徑是依賴語句或命令產生的副作用。現代流行的大多數語言都是這一類型，比如Fortran、Pascal、Cobol、C、C++、Basic、Ada、Java、C#等，各種腳本語言也被看作是此種類型。ok