計(jì)算機(jī)編程語(yǔ)言可用于將指令傳達(dá)給計(jì)算機(jī)。它們基于某些句法和語(yǔ)義規(guī)則，定義了編程語(yǔ)言中每種結(jié)構(gòu)的含義。現(xiàn)在小編將它們分為解釋型編程語(yǔ)言、函數(shù)式編程語(yǔ)言、編譯型編程語(yǔ)言、過(guò)程式編程語(yǔ)言、腳本編程語(yǔ)言、標(biāo)記編程語(yǔ)言、基于邏輯的編程語(yǔ)言、并發(fā)編程語(yǔ)言、面向?qū)ο缶幊陶Z(yǔ)言。

解釋型編程語(yǔ)言

解釋型語(yǔ)言是這樣一種編程語(yǔ)言，其大部分實(shí)現(xiàn)直接執(zhí)行指令，而無(wú)需先將程序編譯成機(jī)器語(yǔ)言指令。解釋器直接執(zhí)行程序，它會(huì)將每個(gè)語(yǔ)句翻譯成已編譯成了機(jī)器代碼的一個(gè)或多個(gè)子程序的序列。

APL-它是一種數(shù)組編程語(yǔ)言。它可以在多個(gè)數(shù)據(jù)陣列上同時(shí)工作。 它是一種解釋型、可交互和函數(shù)式的編程語(yǔ)言。

AutoIt-它是自由軟件，是一種用于 Microsoft Windows 的自動(dòng)化語(yǔ)言。 主要目的是創(chuàng)建可用于在 Windows 上執(zhí)行某些重復(fù)任務(wù)的自動(dòng)化腳本。

BASIC-它是初學(xué)者多用符號(hào)指令代碼（Beginner’s All-purpose Symbolic Instruction Code）的縮寫(xiě)。它的目的是為非科學(xué)人士提供一個(gè)使用電腦的途徑。

Eiffel-它是一種被 ISO 標(biāo)準(zhǔn)化了的面向?qū)ο缶幊陶Z(yǔ)言，用于開(kāi)發(fā)可擴(kuò)展和可重復(fù)使用的軟件。它是一個(gè)可面向許多行業(yè)的開(kāi)發(fā)平臺(tái)，如金融、航空航天和視頻游戲。

Forth-它是一種結(jié)構(gòu)化的命令式編程語(yǔ)言，其實(shí)現(xiàn)基于堆棧。它支持交互式的命令執(zhí)行以及對(duì)命令序列的編譯。

Frink-它基于 Java 虛擬機(jī)，專注于科學(xué)和工程領(lǐng)域。其突出特點(diǎn)是能通過(guò)所有的能讓數(shù)量包含其測(cè)量單位的計(jì)算，來(lái)對(duì)測(cè)量單位進(jìn)行跟蹤。

Game Maker 語(yǔ)言

它是一種解釋型的計(jì)算機(jī)編程語(yǔ)言，旨在與 Game Maker 配合使用—— Game Maker 是一種游戲制作應(yīng)用程序。

ICI-它是一種通用的解釋型計(jì)算機(jī)編程語(yǔ)言。它支持動(dòng)態(tài)輸入，靈活的數(shù)據(jù)類型以及其它的一些類似于 C 的語(yǔ)言結(jié)構(gòu)。

J-它是一種數(shù)組編程語(yǔ)言，適用于數(shù)學(xué)和統(tǒng)計(jì)操作。

Lisp-是如今正在被廣泛使用的第二古老的高級(jí)編程語(yǔ)言。其名稱 Lisp 派生自“列表處理語(yǔ)言（List Processing Language）”。Lisp 支持的重要數(shù)據(jù)結(jié)構(gòu)之一是鏈表。 Lisp 程序會(huì)將源代碼當(dāng)做是數(shù)據(jù)結(jié)構(gòu)。

Lua-它被設(shè)計(jì)成為腳本語(yǔ)言，是一種不可獲取的過(guò)程式編程語(yǔ)言，以簡(jiǎn)單而強(qiáng)大而聞名。

Pascal-它是一種過(guò)程式編程語(yǔ)言，旨在利用上數(shù)據(jù)結(jié)構(gòu)化和結(jié)構(gòu)化編程的概念。

Pcastl-它是 Parent and Childset Accessible Syntax Tree Language（可訪問(wèn)父和子集語(yǔ)法樹(shù)語(yǔ)言）的縮寫(xiě)，屬于解釋型的計(jì)算機(jī)編程語(yǔ)言類型。 它是專門(mén)為自修改代碼而設(shè)計(jì)的。

Perl-是一種支持動(dòng)態(tài)編程的高級(jí)解釋型編程語(yǔ)言。它為程序員提供了文本處理的能力，并融合了 C、Lisp 還有 Awk 等各種語(yǔ)言的功能特性。

PostScript-它主要在桌面出版領(lǐng)域中使用，被稱為頁(yè)面描述語(yǔ)言。它是一種基于堆棧的動(dòng)態(tài)編程語(yǔ)言。

Python-它是一種支持強(qiáng)制命令，面向?qū)ο蠛秃瘮?shù)式編程樣式的高級(jí)編程語(yǔ)言。它與 Perl 在動(dòng)態(tài)類型系統(tǒng)和自動(dòng)內(nèi)存管理方面有相似之處。

REXX-Restructured Extended Executor（重構(gòu)擴(kuò)展執(zhí)行器）的簡(jiǎn)稱，它是由 IBM 開(kāi)發(fā)的解釋型語(yǔ)言。它被設(shè)計(jì)出來(lái)的目的是成為一種易于學(xué)習(xí)和閱讀的語(yǔ)言。 NetRexx 是 IBM 提供的基于 REXX 的面向?qū)ο缶幊虒?shí)現(xiàn)。Object REXX 是基于 REXX 的面向?qū)ο竽_本語(yǔ)言。

Spin-是一種多任務(wù)且面向?qū)ο蟮木幊陶Z(yǔ)言，其編譯器會(huì)將代碼轉(zhuǎn)換為字節(jié)碼。多個(gè) Spin 代碼線程可以在同時(shí)運(yùn)行，從而實(shí)現(xiàn)多任務(wù)處理。Spin 是由 Parallax 的 Chip Gracey 開(kāi)發(fā)出來(lái)的。

函數(shù)式編程語(yǔ)言

函數(shù)式編程語(yǔ)言定義每次的計(jì)算作為數(shù)學(xué)求值。它們把焦點(diǎn)集中在函數(shù)的應(yīng)用。大量的函數(shù)編程語(yǔ)言被綁定在數(shù)學(xué)計(jì)算上。
Charity-它是一種純凈的函數(shù)式，非圖靈完備語(yǔ)言，這意味著所有的程序都可以被保證能終止。

Clean-它是一種純凈的函數(shù)式編程語(yǔ)言，擁有跨平臺(tái)能力，自動(dòng)垃圾收集機(jī)制，多數(shù)據(jù)結(jié)構(gòu)和引用透明性，這些能力意味著一個(gè)函數(shù)，只要給它一個(gè)輸入將總是會(huì)有一個(gè)輸出。

Curry-它是一種函數(shù)邏輯編程語(yǔ)言，實(shí)現(xiàn)了函數(shù)式與邏輯編程，還有約束式編程。在約束式編程方法中，變量之間的關(guān)系是以約束的形式表示的。

Erlang-它是一種并發(fā)編程語(yǔ)言，包含了一系列支持函數(shù)式編程的子集。愛(ài)立信將 Erlang 作為一種分布式軟實(shí)時(shí)與容錯(cuò)語(yǔ)言來(lái)進(jìn)行開(kāi)發(fā)，并于1998年將其作為一種開(kāi)放源代碼的計(jì)算機(jī)編程語(yǔ)言發(fā)布，是最常用的函數(shù)式編程語(yǔ)言之一。

Joy-它是一種基于函數(shù)組合的純函數(shù)式語(yǔ)言。

Kite-它于2006年推出，帶有一個(gè)由面向?qū)ο蠛秃瘮?shù)式編程功能特性混合組成的功能集合。這是一種可快速運(yùn)行的語(yǔ)言。有趣的是，Kite 使用管道字符來(lái)進(jìn)行函數(shù)式調(diào)用，而不像使用其他語(yǔ)言那樣使用點(diǎn)或者箭頭字符。

Nemerle-它是專為 .NET 平臺(tái)設(shè)計(jì)的一種靜態(tài)類型編程語(yǔ)言。 Nemerle 中的程序會(huì)被編譯成中間語(yǔ)言字節(jié)碼。它支持函數(shù)式，命令式以及面向?qū)ο缶幊獭?/span>

OPS5-它是一種基于規(guī)則的生產(chǎn)系統(tǒng)計(jì)算機(jī)語(yǔ)言，已經(jīng)成為在專業(yè)系統(tǒng)中使用的首選語(yǔ)言。

編譯型編程語(yǔ)言

編譯型語(yǔ)言是典型的通過(guò)編譯器(將源代碼生成機(jī)器碼的翻譯工具)而不是解釋器(一步步執(zhí)行源碼，不會(huì)在運(yùn)行前發(fā)生轉(zhuǎn)換)實(shí)現(xiàn)的編程語(yǔ)言。

Ada-它是一種基于 Pascal 的靜態(tài)類型、結(jié)構(gòu)化、命令式的編程語(yǔ)言。Ada 編譯器由關(guān)鍵任務(wù)系統(tǒng)驗(yàn)證，它是符合國(guó)際標(biāo)準(zhǔn)的計(jì)算機(jī)編程語(yǔ)言。

ALGOL-它的名稱就表明了它是一種算法語(yǔ)言。實(shí)際上它是在20世紀(jì)50年代中期開(kāi)發(fā)出來(lái)的一系列命令式編程語(yǔ)言。它被證明可用于創(chuàng)建像 BCPL、B 和 C 這樣的編程語(yǔ)言。

C-貝爾電腦實(shí)驗(yàn)室的 Dennis Ritchie 開(kāi)發(fā)了 C 用于 Unix 平臺(tái)。它是通用、跨平臺(tái)、過(guò)程化、命令式的編程語(yǔ)言。它用于實(shí)現(xiàn)系統(tǒng)軟件和應(yīng)用軟件，是當(dāng)今使用廣泛的計(jì)算機(jī)編程語(yǔ)言之一。C++ 和 C# 都是基于 C 發(fā)展而來(lái)。

C++-它由高級(jí)語(yǔ)言和低級(jí)語(yǔ)言相結(jié)合，因此被認(rèn)為是一個(gè)中級(jí)編程語(yǔ)言。貝爾實(shí)驗(yàn)室的 Bjarne Stoustrup 開(kāi)發(fā)了 C++，把它作為 C 語(yǔ)言的擴(kuò)展。它最初被稱為“含有類的C”，直到 1983 年才被稱為 C++。它是一種支持過(guò)程化編程、泛型編程、面向?qū)ο缶幊毯蛿?shù)據(jù)抽象的多樣化語(yǔ)言。

C#-它也是一種多樣化語(yǔ)言，支持命令式、泛型和面向?qū)ο缶幊獭Ｋ?Microsoft .NET 框架的一部分。它的面向?qū)ο笳Z(yǔ)法與 C++ 相似。它還受到 Java 和 Delphi 的影響。

Cobra-它是一個(gè)運(yùn)行于 .NET 框架和 Mono 框架的面向?qū)ο缶幊陶Z(yǔ)言，它的設(shè)計(jì)受 Python 和 C# 的影響。它支持靜態(tài)和動(dòng)態(tài)類型，適用于單元測(cè)試。現(xiàn)在它是一個(gè)開(kāi)源項(xiàng)目。

D-它最初被設(shè)計(jì)為 C++ 的增強(qiáng)，受 Java、Eiffel 和 C# 的影響。它是面向?qū)ο蟆⒚钍健⒍鄻踊南到y(tǒng)編程語(yǔ)言。

Java-它是通用計(jì)算機(jī)編程語(yǔ)言，并發(fā)，基于類，面向?qū)ο蟛ｉT(mén)針對(duì)盡可能少的依賴來(lái)進(jìn)行設(shè)計(jì)。編譯后的 Java 代碼可以不需要再次編譯就運(yùn)行于各種支持 Java 的平臺(tái)。是現(xiàn)代非常流行的語(yǔ)言。  

Turing-它的名字是為了紀(jì)念英國(guó)計(jì)算機(jī)科學(xué)家 Alan Turing(艾蘭·圖靈)。它很像 Pascal，從 2007 年開(kāi)始免費(fèi)。

Visual Basic-這是一個(gè)事件驅(qū)動(dòng)的編程語(yǔ)言，通過(guò)集成開(kāi)發(fā)環(huán)境打包。它從 BASIC 繼承了很多特性。它的圖形化開(kāi)發(fā)特性使初學(xué)者學(xué)習(xí)起來(lái)非常容易。

Visual FoxPro-它是面向?qū)ο蠛瓦^(guò)程化編程語(yǔ)言，來(lái)源于 FoxPro。它自身集成了關(guān)系型數(shù)據(jù)庫(kù)系統(tǒng)，不再需要額外的編程環(huán)境。它支持動(dòng)態(tài)編程。

過(guò)程式編程語(yǔ)言

過(guò)程式（命令式）編程 意味著需指定程序應(yīng)該達(dá)到預(yù)期狀態(tài)的步驟。過(guò)程是可以通過(guò)過(guò)程調(diào)用引用的一組語(yǔ)句。 過(guò)程有助于代碼中庸。 過(guò)程式編程使程序結(jié)構(gòu)化，易于追蹤程序流程。
Bliss-它是一種系統(tǒng)編程語(yǔ)言，是在 C 語(yǔ)言出現(xiàn)之前最知名的語(yǔ)言之一。它包括異常處理機(jī)制、協(xié)程和宏，但并不包括 goto 語(yǔ)句。

ChucK-它是可以在 Mac OS X、Linux 以及 Microsoft Windows 上運(yùn)行的并發(fā)和強(qiáng)音頻定時(shí)的編程語(yǔ)言。 它特別以其為程序員提供在運(yùn)行程序中做一些修改的能力而著稱。

CLIST-它是一種使用命令集合的形式表示的過(guò)程式編程語(yǔ)言，這些命令集合需要像批處理文件一樣順序執(zhí)行。

HyperTalk-它是一種高級(jí)編程語(yǔ)言，旨在給程序員的初學(xué)者使用。 這種計(jì)算機(jī)語(yǔ)言的程序員被稱為作者，編寫(xiě)程序的行為被稱為腳本，結(jié)構(gòu)上類似于 Pascal 。

MATLAB-它是一種數(shù)值計(jì)算環(huán)境和一種能夠進(jìn)行矩陣計(jì)算、功能繪圖和算法實(shí)現(xiàn)的編程語(yǔ)言。 它也可以用于創(chuàng)建用戶界面。 MathWorks 創(chuàng)建了 MATLAB 。

Occam-它類似于 Pascal 。Occam-pi 是 Occam 的一種變體，已經(jīng)擴(kuò)展到包括嵌套協(xié)議、遞歸、協(xié)議繼承、數(shù)組構(gòu)造函數(shù)和運(yùn)行時(shí)進(jìn)程創(chuàng)建。

腳本語(yǔ)言

腳本語(yǔ)言是用來(lái)控制應(yīng)用程序的編程語(yǔ)言。腳本可以獨(dú)立于其它任何應(yīng)用程序執(zhí)行。它們多數(shù)時(shí)候嵌入在應(yīng)用程序中，用于控制或用于執(zhí)行頻繁執(zhí)行的自動(dòng)任務(wù)，比如與外部程序通信的任務(wù)。
AppleScript-它是 Mac OS 內(nèi)建的腳本語(yǔ)言。

Awk-它使用字符串?dāng)?shù)據(jù)類型、數(shù)組和正則表達(dá)式來(lái)處理數(shù)據(jù)流和文件中基于文本的數(shù)據(jù)。

BeanShell-它是 Java 腳本語(yǔ)言，其語(yǔ)法與 Java 相似，是在 Java 運(yùn)行環(huán)境中運(yùn)行的腳本命令和語(yǔ)法。

ColdFusion-它是應(yīng)用服務(wù)器和軟件開(kāi)發(fā)框架，帶有一個(gè)被稱為 ColdFusion Markup Language (ColdFusion 標(biāo)記語(yǔ)言) 的腳本語(yǔ)言。它被稱為 CFML，其語(yǔ)法與 HTML 類似。

F-Script-它是一種面向?qū)ο蟮哪_本語(yǔ)言，與 Smalltalk 非常接近，但增加了數(shù)組編程的特性。

PHP-它是一種普遍使用的腳本語(yǔ)言。它用于創(chuàng)建動(dòng)態(tài)網(wǎng)頁(yè)，同時(shí)也支持命令行接口。

Revolution-它是基于 HyperTalk 的快速應(yīng)用程序開(kāi)發(fā)語(yǔ)言。它跨平臺(tái)，支持動(dòng)態(tài)類型。

Tcl-它被認(rèn)為是一種容易學(xué)習(xí)的腳本語(yǔ)言。它用于嵌入式系統(tǒng)的快速原型開(kāi)發(fā)。

VBScript-它是微軟開(kāi)發(fā)的 Visual Basic 的變體，非常活躍。VBScript 在微軟 Windows 桌面系統(tǒng)中都作為默認(rèn)組件存在。

Windows PowerShell-它是微軟的命令行 shell 和腳本語(yǔ)言，可用于 Windows XP、Windows Vista 以及 Windows Server 2003 和 Windows Server 2008。它與 Microsoft .NET 框架合作，包括可執(zhí)行程序、獨(dú)立應(yīng)用中的窗體、常規(guī)的 .NET 類等。Cmdlet 是特定的 .NET 類和腳本或者由一些 Cmdlet 通過(guò)必要邏輯組合起來(lái)。

標(biāo)記編程語(yǔ)言

標(biāo)記編程語(yǔ)言 (Markup Languages) 是一種人造語(yǔ)言，它使用文本注釋來(lái)定義這些文本的顯示方式。
Curl-它是一種反射式的面向?qū)ο蟮木幊陶Z(yǔ)言。它是一種類似于 HTML 的標(biāo)記語(yǔ)言。Curl 是支持多重繼承的面向?qū)ο缶幊陶Z(yǔ)言。

SGML-標(biāo)準(zhǔn)化通用標(biāo)記語(yǔ)言（SGML）是來(lái)自 IBM 的通用標(biāo)記語(yǔ)言。它是可以為文檔定義標(biāo)記語(yǔ)言的 ISO 標(biāo)準(zhǔn)元語(yǔ)言。它的目的是共享必須長(zhǎng)期保留下來(lái)的大型項(xiàng)目機(jī)讀文件。

HTML-超文本標(biāo)記語(yǔ)言（縮寫(xiě)為 HTML ）是用于網(wǎng)頁(yè)的最著名的標(biāo)記語(yǔ)言。它是用 HTML 標(biāo)簽的形式寫(xiě)成的，它們被尖括號(hào)所包圍。HTML 標(biāo)簽描述了文檔中的文本外觀，并且可以嵌入到某些其他代碼中以影響 Web 瀏覽器的行為。HTML 使用 SGML 的默認(rèn)語(yǔ)法。

XML-這個(gè)名字代表可擴(kuò)展標(biāo)記語(yǔ)言（Extensible Markup Language）。它是可擴(kuò)展的，因?yàn)樗试S用戶自定義 XML 元素。它支持通過(guò)互聯(lián)網(wǎng)共享結(jié)構(gòu)化數(shù)據(jù)以及數(shù)據(jù)的編碼和序列化。它起源于 SGML 的一個(gè)子集。 XPath 是用于從 XML 文檔中選擇節(jié)點(diǎn)的 XML 路徑語(yǔ)言。它支持值計(jì)算。XQuery 用于查詢 XML 數(shù)據(jù)的集合。可擴(kuò)展樣式表語(yǔ)言轉(zhuǎn)換（XSLT）是一種基于 XML 的語(yǔ)言，用于將 XML 文檔轉(zhuǎn)換為人類可讀的格式。Apache Ant 是軟件構(gòu)建過(guò)程中的自動(dòng)化工具。 它使用 XML 來(lái)描述構(gòu)建過(guò)程。

XHTML-它是一種與 HTML 類似的標(biāo)記語(yǔ)言，遵循 XML 語(yǔ)法。它是 HTML 和 XML 之間的過(guò)渡。 XHTML 文檔允許自動(dòng)處理數(shù)據(jù)。

基于邏輯的編程語(yǔ)言

邏輯編程是一種基于形式邏輯的編程范例。用邏輯編程語(yǔ)言編寫(xiě)的程序都是邏輯形式的一組句子，表達(dá)關(guān)于某些問(wèn)題域的事實(shí)和規(guī)則。

ALF-代數(shù)邏輯函數(shù)式（Algebraic Logic Functional ）編程語(yǔ)言是一種多范式的編程語(yǔ)言，它是功能編程和邏輯編程的組合。 ALF 程序語(yǔ)句會(huì)被編譯成一種抽象機(jī)指令。用 C 編寫(xiě)的仿真器可以執(zhí)行抽象機(jī)的程序。

Fril-它主要面向一階謂詞演算，支持模糊集和元編程，基于 Prolog 的語(yǔ)法。

Leda-這種計(jì)算機(jī)編程語(yǔ)言是基于邏輯的，函數(shù)式，命令式和面向?qū)ο缶幊痰幕旌象w。因此，它是一種多范式語(yǔ)言。

Oz-它是一種多范式語(yǔ)言，支持函數(shù)式，基于邏輯的，命令式和面向?qū)ο缶幊獭?Oz 還支持并發(fā)和分布式編程。支持約束式編程是 Oz 語(yǔ)言的優(yōu)點(diǎn)之一。

Poplog-它是一個(gè)強(qiáng)大的多范式軟件開(kāi)發(fā)環(huán)境，其核心語(yǔ)言是 POP-11 。該開(kāi)發(fā)環(huán)境的所有語(yǔ)言共享一個(gè)共同的語(yǔ)言編輯器，并且是增量編譯的編程語(yǔ)言。

Prolog-它是一種支持邏輯編程的通用編程語(yǔ)言，通常可以連系到人工智能和計(jì)算語(yǔ)言學(xué)。語(yǔ)言是聲明式的，程序邏輯則以關(guān)系的形式來(lái)表達(dá)。 Mercury 是基于 Prolog 的函數(shù)式邏輯編程語(yǔ)言。Strawberry Prolog 是 Prolog 的一種方言，被設(shè)計(jì)得易于使用。 Visual Prolog 是支持面向?qū)ο缶幊痰?Prolog 強(qiáng)類型擴(kuò)展。它是一種基于邏輯的編譯型編程語(yǔ)言。

ROOP-它是一種基于 C++ 的多范式語(yǔ)言，推出目的是在與人工智能系統(tǒng)一起使用。其功能融合了函數(shù)式、邏輯和面向?qū)ο缶幊獭?/span>

并發(fā)編程語(yǔ)言

并發(fā)編程是一種計(jì)算機(jī)編程技術(shù)，可以讓操作并行執(zhí)行，在單計(jì)算機(jī)或者跨越多臺(tái)計(jì)算機(jī)上都可以實(shí)現(xiàn)，而在后一種情況下，使用術(shù)語(yǔ)分布式計(jì)算。
ABCL-它是基于 Actor 的并行語(yǔ)言（Actor-Based Concurrent Language）的一個(gè)語(yǔ)言系列，ABCL/1、ABCL/R 以及 ABCL/R2 就是 ABCL 系列的一些成員。

Afnix-它是一種多線程函數(shù)式編程語(yǔ)言。它的解釋器是用 C++ 編寫(xiě)的。 其運(yùn)行時(shí)引擎支持32位和64位平臺(tái)。

E-它是一種支持分布式編程的面向?qū)ο缶幊陶Z(yǔ)言，其語(yǔ)法類似于 Java 。

Joule-它出現(xiàn)在 E 編程語(yǔ)言之前，是一種并發(fā)數(shù)據(jù)流編程語(yǔ)言，可用于開(kāi)發(fā)分布式應(yīng)用程序。

Limbo-在貝爾實(shí)驗(yàn)室開(kāi)發(fā)出來(lái)的 Limbo 可用于為分布式系統(tǒng)編寫(xiě)程序。它的顯著特點(diǎn)就是其編譯器能夠生成獨(dú)立于體系結(jié)構(gòu)的目標(biāo)代碼。 Limbo 被用來(lái)開(kāi)發(fā)在 Inferno 操作系統(tǒng)上運(yùn)行的應(yīng)用程序。最初作為 Plan 9 操作系統(tǒng)一部分的 Alex 就是 Limbo 的前身。

SALSA-Simple Actor Language System and Architecture（簡(jiǎn)單Actor語(yǔ)言系統(tǒng)和架構(gòu)）的簡(jiǎn)稱，SALSA 支持并行編程，消息傳遞和分布式計(jì)算。為了具備可移植性，它使用了 Java 代碼。

面向?qū)ο缶幊陶Z(yǔ)言

面向?qū)ο缶幊?( OOP) 是基于“對(duì)象”思想的編程規(guī)范，它包含數(shù)據(jù)，一般稱為屬性，表現(xiàn)為字段(field)的形式；還包含代碼，一般稱為方法，表現(xiàn)為程序的形式。在 OOP 中，計(jì)算機(jī)程序是根據(jù)對(duì)象與對(duì)象之間的交互來(lái)設(shè)計(jì)的。
BETA-它是一種面向?qū)ο蟮木幊陶Z(yǔ)言，其類和過(guò)程圍繞相同的概念，而且類被定義為對(duì)象的屬性。它具有很強(qiáng)的抽象機(jī)制。BETA 還支持嵌套類。

Lisaac-這是基于原型概念的首款編譯性面向?qū)ο缶幊陶Z(yǔ)言。它還支持系統(tǒng)編程。

MOO-這是一種基于動(dòng)態(tài)類型原型的編程語(yǔ)言，支持面向?qū)ο缶幊獭ＫС之惓Ｌ幚頇C(jī)制和循環(huán)結(jié)構(gòu)。

Obliq-這是一種提供面向?qū)ο缶幊烫匦缘慕忉屝杂?jì)算機(jī)編程語(yǔ)言。它支持無(wú)類型變量，被設(shè)計(jì)用于分布式和多線程計(jì)算機(jī)。

Slate-這個(gè)面向?qū)ο缶幊陶Z(yǔ)言也是基于原型概念的。它有一些特性來(lái)自 Smalltalk 和 Self 語(yǔ)言。Slate 設(shè)計(jì)出來(lái)的目的是為程序員提供一個(gè)像操作系統(tǒng)的樣的環(huán)境。

IO-這是純面向?qū)ο缶幊陶Z(yǔ)言，擁有基于原型對(duì)象的模型。它體積不大，可以在小型便攜式虛擬機(jī)上運(yùn)行。