程序設計語言分為幾類

1、命令式語言

這種語言的語義基礎是模擬“數(shù)據(jù)存儲/數(shù)據(jù)操作”的圖靈機可計算模型，十分符合現(xiàn)代計算機體系結構的自然實現(xiàn)方式。其中產(chǎn)生操作的主要途徑是依賴語句或命令產(chǎn)生的副作用?，F(xiàn)代流行的大多數(shù)語言都是這一類型，比如Fortran、Pascal、Cobol、C、C++、Basic、Ada、Java、C#等，各種腳本語言也被看作是此種類型。

2、函數(shù)式語言

這種語言的語義基礎是基于數(shù)學函數(shù)概念的值映射的λ算子可計算模型。這種語言非常適合于進行人工智能等工作的計算。典型的函數(shù)式語言如Lisp、Haskell、ML、Scheme、F#等。

3、邏輯式語言

這種語言的語義基礎是基于一組已知規(guī)則的形式邏輯系統(tǒng)。這種語言主要用在專家系統(tǒng)的實現(xiàn)中。最著名的邏輯式語言是Prolog。

4、面向對象語言

現(xiàn)代語言中的大多數(shù)都提供面向對象的支持，但有些語言是直接建立在面向對象基本模型上的，語言的語法形式的語義就是基本對象操作。主要的純面向對象語言是Smalltalk。

雖然各種語言屬于不同的類型，但它們各自都不同程度地對其他類型的運算模式有所支持。