程序設(shè)計(jì)語(yǔ)言分為幾類(lèi)

1、命令式語(yǔ)言

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

2、函數(shù)式語(yǔ)言

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

3、邏輯式語(yǔ)言

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

4、面向?qū)ο笳Z(yǔ)言

現(xiàn)代語(yǔ)言中的大多數(shù)都提供面向?qū)ο蟮闹С?，但有些語(yǔ)言是直接建立在面向?qū)ο蠡灸Ｐ蜕系?，語(yǔ)言的語(yǔ)法形式的語(yǔ)義就是基本對(duì)象操作。主要的純面向?qū)ο笳Z(yǔ)言是Smalltalk。

雖然各種語(yǔ)言屬于不同的類(lèi)型，但它們各自都不同程度地對(duì)其他類(lèi)型的運(yùn)算模式有所支持。