計算機編程語言可用于將指令傳達給計算機。它們基于某些句法和語義規(guī)則微渠，定義了編程語言中每種結(jié)構(gòu)的含義。

現(xiàn)在我得到了一個凡是可以找得到的每種編程語言的列表云芦。我將它們分為以下幾類：
? 解釋型編程語言
? 函數(shù)式編程語言
? 編譯型編程語言
? 過程式編程語言
? 腳本編程語言
? 標記編程語言
? 基于邏輯的編程語言
? 并發(fā)編程語言
? 面向?qū)ο缶幊陶Z言

解釋型編程語言
解釋型語言是這樣一種編程語言舅逸，其大部分實現(xiàn)直接執(zhí)行指令琉历，而無需先將程序編譯成機器語言指令。解釋器直接執(zhí)行程序水醋，它會將每個語句翻譯成已編譯成了機器代碼的一個或多個子程序的序列旗笔。（維基百科）

? APL
APL 以《編程語言（A Programming Language）》一書命名（Iverson，Kenneth E.拄踪，1962）蝇恶，它是一種數(shù)組編程語言。它可以在多個數(shù)據(jù)陣列上同時工作惶桐。 它是一種解釋型的猛、可交互和函數(shù)式的編程語言。

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

? BASIC
于1964年由約翰·喬治·凱米尼（John George Kemeny）和托特·尤金·庫爾茨（Thomas Eugene Kurtz）在達特茅斯（Dartmouth）開發(fā)舌厨，它是初學(xué)者多用符號指令代碼（Beginner’s All-purpose Symbolic Instruction Code）的縮寫。它的目的是為非科學(xué)人士提供一個使用電腦的途徑夭问。

? Eiffel
它是一種被 ISO 標準化了的面向?qū)ο缶幊陶Z言捂龄，用于開發(fā)可擴展和可重復(fù)使用的軟件削饵。它是一個可面向許多行業(yè)的開發(fā)平臺，如金融揉燃，航空航天和視頻游戲。

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

? Frink
由 Alan Eliasen 開發(fā)弊攘，以 John Frink 教授命名——他是一位頗受歡迎的虛構(gòu)人物抢腐。它基于 Java 虛擬機，專注于科學(xué)和工程領(lǐng)域襟交。其突出特點是能通過所有的能讓數(shù)量包含其測量單位的計算迈倍，來對測量單位進行跟蹤。

? Game Maker 語言
它是一種解釋型的計算機編程語言捣域，旨在與 Game Maker 配合使用—— Game Maker 是一種游戲制作應(yīng)用程序啼染。荷蘭計算機科學(xué)家馬克·奧馬斯（Mark Overmars）設(shè)計了這種語言。

? ICI
ICI 是由 Tim Long 于1992年設(shè)計的焕梅，它是一種通用的解釋型計算機編程語言迹鹅。它支持動態(tài)輸入，靈活的數(shù)據(jù)類型以及其它的一些類似于 C 的語言結(jié)構(gòu)丘侠。

? J
Ken Iverson 和 Roger Hui 開發(fā)了這個只需要使用基礎(chǔ) ASCII 字符集的編程語言徒欣。它是一種數(shù)組編程語言，適用于數(shù)學(xué)和統(tǒng)計操作蜗字。

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

? Lua
計算機圖形技術(shù)組的成員在1993年開發(fā)出了 Lua。它被設(shè)計成為腳本語言级零，是一種不可獲取的過程式編程語言断医，以簡單而強大而聞名滞乙。

? M
M 是 MUMPS 的縮寫，它是為醫(yī)療保健行業(yè)而創(chuàng)建的一種編程語言鉴嗤。M 語言是由醫(yī)學(xué)信息技術(shù)的創(chuàng)始人 Neil Pappalardo 以及他的同事開發(fā)出來的斩启。

? Pascal
它是一種過程式編程語言，旨在利用上數(shù)據(jù)結(jié)構(gòu)化和結(jié)構(gòu)化編程的概念醉锅。瑞士計算機科學(xué)家 Niklaus Wirth 設(shè)計了這種語言兔簇，是以法國數(shù)學(xué)家和哲學(xué)家 Blaise Pascal 來命名的。

? PCASTL
它是 Parent and Childset Accessible Syntax Tree Language（可訪問父和子集語法樹語言）的縮寫硬耍，是由 Philippe Choquette 開發(fā)出來的高級語言垄琐，屬于解釋型的計算機編程語言類型。 它是專門為自修改代碼而設(shè)計的经柴。

? Perl
Perl 是一種支持動態(tài)編程的高級解釋型編程語言狸窘。它是由 Larry Wall 開發(fā)的，而 Larry Wall 則是 NASA 的系統(tǒng)管理員坯认。它為程序員提供了文本處理的能力翻擒，并融合了 C、Lisp 還有 Awk 等各種語言的功能特性鹃操。

? PostScript
它主要在桌面出版領(lǐng)域中使用韭寸，被稱為頁面描述語言。它是一種基于堆棧的動態(tài)編程語言荆隘，由美國計算機科學(xué)家 John Warnock 和計算機科學(xué)領(lǐng)域著名人物 Charles Geschke 開發(fā)恩伺。這些開發(fā)人員后來一起創(chuàng)立了非常著名的 Adobe Systems 公司。

? Python
它是一種支持強制命令椰拒，面向?qū)ο蠛秃瘮?shù)式編程樣式的高級編程語言晶渠。它與 Perl 在動態(tài)類型系統(tǒng)和自動內(nèi)存管理方面有相似之處。Python 最初于1991年由荷蘭計算機程序員 Guido van Rossum 發(fā)布燃观，它是一種基于社區(qū)的開放性語言褒脯，其開發(fā)由 Python Software Foundation 來進行管理。

? REXX
Restructured Extended Executor（重構(gòu)擴展執(zhí)行器）的簡稱缆毁，它是由 IBM 開發(fā)的解釋型語言番川。它被設(shè)計出來的目的是成為一種易于學(xué)習(xí)和閱讀的語言。 NetRexx 是 IBM 提供的基于 REXX 的面向?qū)ο缶幊虒崿F(xiàn)脊框。Object REXX 是基于 REXX 的面向?qū)ο竽_本語言颁督。

? Ruby
在20世紀90年代，日本興起了要開發(fā)這樣一種語言的動力浇雹。它具有與 Perl 類似的動態(tài)類型系統(tǒng)和自動內(nèi)存管理功能沉御。它支持多種編程樣式，是一種動態(tài)的面向?qū)ο笳Z言昭灵。

? S-Lang
S-Lang 一開始是作為一種基于堆棧的語言來而開發(fā)出來吠裆，而現(xiàn)在已經(jīng)演變?yōu)橐环N類似于 C 的語言伐谈。它是由 John E. Davis 開發(fā)出來的。

? Spin
Spin 是一種多任務(wù)且面向?qū)ο蟮木幊陶Z言试疙，其編譯器會將代碼轉(zhuǎn)換為字節(jié)碼诵棵。多個 Spin 代碼線程可以在同時運行，從而實現(xiàn)多任務(wù)處理效斑。Spin 是由 Parallax 的 Chip Gracey 開發(fā)出來的非春。

函數(shù)式編程語言
函數(shù)式編程語言 定義每次的計算作為數(shù)學(xué)求值。他們把焦點集中在函數(shù)的應(yīng)用缓屠。大量的函數(shù)編程語言被綁定在數(shù)學(xué)計算上。

? Charity
它是一種純凈的函數(shù)式护侮，非圖靈完備語言敌完，這意味著所有的程序都可以被保證能終止。Charity 是由加拿大的一所公立大學(xué) —— Calgary 大學(xué)設(shè)計的羊初。

? Clean
它是一種純凈的函數(shù)式編程語言滨溉，擁有跨平臺能力，自動垃圾收集機制长赞，多數(shù)據(jù)結(jié)構(gòu)和引用透明性晦攒，這些能力意味著一個函數(shù)，只要給它一個輸入將總是會有一個輸出得哆。

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

? Erlang
它是一種并發(fā)編程語言饱亮，包含了一系列支持函數(shù)式編程的子集矾芙。愛立信將 Erlang 作為一種分布式軟實時與容錯語言來進行開發(fā)，并于1998年將其作為一種開放源代碼的計算機編程語言發(fā)布近上，是最常用的函數(shù)式編程語言之一剔宪。

? F#
它是面向 .NET Framework 的一種編程語言，同時支持函數(shù)式以及命令式的面向?qū)ο缶幊桃嘉蕖Ｎ④浹芯吭旱?Don Syme 開發(fā)了這種語言葱绒，他現(xiàn)在正在 Microsoft 開發(fā)部門進行參與開發(fā)工作。它被稱作 F Sharp 格遭，被集成到 .NET Framework 和 Visual Studio 中哈街。

? Haskell
Haskell 是以 Haskell Curry ——一個邏輯學(xué)家——來命名的，是一中標準化的純函數(shù)式語言拒迅。它支持模式匹配骚秦，可定義運算符她倘、單個賦值、代數(shù)數(shù)據(jù)類型以及遞歸函數(shù)作箍。

? Joy
它是一種基于函數(shù)組合的純函數(shù)式語言硬梁。澳大利亞 La Trobe 大學(xué)的 Manfred von Thun 開發(fā)出了這種語言。

? Kite
它于2006年推出胞得，帶有一個由面向?qū)ο蠛秃瘮?shù)式編程功能特性混合組成的功能集合荧止。這是一種可快速運行的語言。有趣的是阶剑，Kite 使用管道字符來進行函數(shù)式調(diào)用跃巡，而不像使用其他語言那樣使用點或者箭頭字符。

? ML
愛丁堡大學(xué)的羅賓·米爾納（Robin Milner）及其同事在七十年代推出了 ML 牧愁。因為它支持命令式編程素邪，所以并非一種純粹的函數(shù)式語言。標準 ML 在編譯器編寫者群體中很受歡迎猪半，是一種模塊化的函數(shù)式編程語言兔朦。Alice 是標準 ML 的方言，支持分布式計算磨确，多線程和約束式編程沽甥。Caml 是 ML 的另一種方言，是一種支持自動內(nèi)存管理的靜態(tài)類型語言乏奥。Ocaml 是作為開源項目開發(fā)出來的 Caml 實現(xiàn)摆舟。 JoCaml 是基于連接演算模式的 Ocaml 版本。

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

? OPAL
該名稱表示的是 Optimized Applicative Language （優(yōu)化應(yīng)用語言）驶悟，是由柏林技術(shù)大學(xué)開發(fā)出來的函數(shù)式編程語言胡野。

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

? Q
之所以被稱為 Q 硫豆，因為它是一種等式（equational）編程語言。它是由德國美因茨大學(xué) Albert Graf 設(shè)計出來的一種解釋型函數(shù)式語言笼呆。它可以被描述為用于對表達式進行計算的一組方程式熊响。

編譯型編程語言
編譯型語言是典型的通過編譯器(將源代碼生成機器碼的翻譯工具)而不是解釋器(一步步執(zhí)行源碼，不會在運行前發(fā)生轉(zhuǎn)換)實現(xiàn)的編程語言诗赌。(維基百科)

? Ada
它是一種基于 Pascal 的靜態(tài)類型汗茄、結(jié)構(gòu)化、命令式的編程語言铭若。Jean Ichbiah 帶領(lǐng)的 CII Honeywell Bull 團隊開發(fā)了 Ada洪碳。Ada 編譯器由關(guān)鍵任務(wù)系統(tǒng)驗證递览，它是符合國際標準的計算機編程語言。

? ALGOL
它的名稱就表明了它是一種算法語言瞳腌。實際上它是在20世紀50年代中期開發(fā)出來的一系列命令式編程語言绞铃。它被證明可用于創(chuàng)建像 BCPL、B 和 C 這樣的編程語言嫂侍。位于 Oslo 的挪威計算機中心的 Ole-Johan Dahl 和 Kristen Nygaard 在它的基礎(chǔ)上創(chuàng)造了 Simula儿捧。

? C
貝爾電腦實驗室的 Dennis Ritchie 開發(fā)了 C 用于 Unix 平臺。它是通用挑宠、跨平臺菲盾、過程化、命令式的編程語言各淀。它用于實現(xiàn)系統(tǒng)軟件和應(yīng)用軟件亿汞，是當(dāng)今使用最廣泛的計算機編程語言之一。C++ 和 C# 都是基于 C 發(fā)展而來揪阿。

? C++
它由高級語言和低級語言相結(jié)合，因此被認為是一個中級編程語言咆畏。貝爾實驗室的 Bjarne Stoustrup 開發(fā)了 C++南捂，把它作為 C 語言的擴展。它最初被稱為“含有類的C”旧找，直到 1983 年才被稱為 C++溺健。它是一種支持過程化編程、泛型編程钮蛛、面向?qū)ο缶幊毯蛿?shù)據(jù)抽象的多樣化語言鞭缭。
[譯者注：multi-paradigm 中的 paradigm 指形式，常見的編程形式包括：命令式(imperative)魏颓、函數(shù)式(functional)岭辣、申明式(declarative)、面向?qū)ο?object-oriented)甸饱、過程化(procedural)沦童、邏輯化(logic)、風(fēng)格化(symbolic)——參考維基百科]

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

? CLEO
它被稱為 Clear Language for Expressing Orders (清楚表達命令的語言)热凹，是用于 LEO 計算機的計算機語言泵喘。

? COBOL
其名稱代表了 Common Business-Oriented Language (面向商業(yè)的通用語言)泪电，被設(shè)計用于商業(yè)和金融領(lǐng)域。COLBOL 2002 標準支持面向?qū)ο缶幊袒林肌Ｋ且粋€非常古老的編程語言歪架，但仍然在使用。

? Cobra
它是一個運行于 .NET 框架和 Mono 框架的面向?qū)ο缶幊陶Z言霹陡，由 Chunk Esterbrook 開發(fā)和蚪。它的設(shè)計受 Python 和 C# 的影響。它支持靜態(tài)和動態(tài)類型烹棉，適用于單元測試≡芘現(xiàn)在它是一個開源項目。

? D
它最初被設(shè)計為 C++ 的增強浆洗，受 Java催束、Eiffel 和 C# 的影響。它是面向?qū)ο蠓纭⒚钍娇俅獭⒍鄻踊南到y(tǒng)編程語言，由 Digital Mars 的 Walter Bright 開發(fā)摘昌。

? DASL
它是 Distributed Application Specification Language (分布式應(yīng)用程序描述語言) 的縮寫速妖，是由 Sun 公司開發(fā)的一款高級、強類型的編程語言聪黎。創(chuàng)建它是為了用來開發(fā) Web 應(yīng)用罕容。

? DIBOL
DIBOL 是 Digital Interactive Business Oriented Language(面向商業(yè)的數(shù)字互動語言)的簡寫，它是通用過程命令式的編程語言稿饰。它和 COBOL 很像锦秒，適用于管理信息系統(tǒng)的開發(fā)。

? Fortran
這是過程化喉镰、命令式的通用計算機編程語言旅择，適用于科學(xué)計算和數(shù)值運算。自 IBM 于 20 世紀 50 年代開發(fā)出來梧喷，它迅速走紅砌左。它是結(jié)構(gòu)化的編譯型編程語言，在高性能計算領(lǐng)域非常流行铺敌。它是 Fortran95 的子集汇歹。Fortran 的修訂版本，F(xiàn)ortran 2003 支持面向?qū)ο缶幊獭?/p>

? Java
它是通用計算機編程語言偿凭，并發(fā)产弹，基于類，面向?qū)ο蟛ｉT針對盡可能少的依賴來進行設(shè)計。編譯后的 Java 代碼可以不需要再次編譯就運行于各種支持 Java 的平臺痰哨。是現(xiàn)代非常流行的語言胶果。

? JOVIAL
它是類似 ALGOL 的高階計算機編程語言。它適用于嵌入式系統(tǒng)的設(shè)計和開發(fā)斤斧。

? Objective-C
它是一種反射式面向?qū)ο蟪绦蚓幊陶Z言早抠，在 C 的基礎(chǔ)上添加了消息服務(wù)。

? SMALL
它的名稱表示 Small Machine Algol-like Language (類似 Glgol 的小型機器語言)撬讽。它的代碼與 ALGOL 類似蕊连，用于在小型機上編程。

? Smalltalk
它是反射式的面向?qū)ο缶幊陶Z言游昼，支持動態(tài)類型甘苍。 Alan Kay、Adele Goldberg烘豌、Dan Ingalls载庭、Scott Wallace、Ted Kaehler 和他們在 Xerox PARC 的同事開發(fā)了 Smalltalk廊佩。他們?yōu)榻逃猛驹O(shè)計了 Smalltalk囚聚，之后它就流行起來了。VisualWorks 是 Samlltalk 的優(yōu)秀實現(xiàn)标锄。Squeak 是 Smalltalk 的一種實現(xiàn)形式靡挥。Scratch 是基于 Squeak 的可視化編程語言。

? Turing
它于 1982 年由加拿大多倫多大學(xué)的 Ric Holt 和 James Cordy 開發(fā)出來鸯绿。它的名字是為了紀念英國計算機科學(xué)家 Alan Turing(艾蘭·圖靈)。它很像 Pascal簸淀，從 2007 年開始免費瓶蝴。

? Visual Basic
這是一個事件驅(qū)動的編程語言，通過集成開發(fā)環(huán)境打包租幕。它從 BASIC 繼承了很多特性舷手。它的圖形化開發(fā)特性使初學(xué)者學(xué)習(xí)起來非常容易。

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

? XL
它的誕生是為了支持概念編程，這是一種致力于將程序員腦中的概念轉(zhuǎn)化為代碼的編程形式颤枪。程序可以重新配置 XL 的語法和語義

過程式編程語言
過程式（命令式）編程 意味著需指定程序應(yīng)該達到預(yù)期狀態(tài)的步驟汗捡。過程是可以通過過程調(diào)用引用的一組語句。 過程有助于代碼中庸畏纲。 過程式編程使程序結(jié)構(gòu)化扇住，易于追蹤程序流程春缕。

? Bliss
它是一種系統(tǒng)編程語言，是在 C 語言出現(xiàn)之前最知名的語言之一艘蹋〕簦卡內(nèi)基梅隆大學(xué)的 W.A.Wolf、D.B. Russell 和 A.N. Habermann 發(fā)明了 Bliss 女阀。它包括異常處理機制宅荤、協(xié)程和宏，但并不包括 goto 語句强品。

? ChucK
它是可以在 Mac OS X膘侮、Linux 以及 Microsoft Windows 上運行的并發(fā)和強音頻定時的編程語言。 它特別以其為程序員提供在運行程序中做一些修改的能力而著稱的榛。

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

? HyperTalk
它是一種高級編程語言夫晌，旨在給程序員的初學(xué)者使用雕薪。 這種計算機語言的程序員被稱為作者，編寫程序的行為被稱為腳本晓淀。HyperTalk 由 Dan Winker 于 1987 年設(shè)計所袁，結(jié)構(gòu)上類似于 Pascal 。

? Modula-2
它是1978年由 Niklaus Wirth 在 ETH 創(chuàng)立的通用過程式語言凶掰。它與 Pascal 類似燥爷，具有系統(tǒng)編程和多重編程功能。

? Oberon
Niklaus Wirth懦窘、Pascal和 Modula 背后的人前翎，在 1986 年提出了 Oberon ，它被設(shè)計為 Oberon 操作系統(tǒng)的一部分畅涂。它類似于 Modula-2 港华，但比它小得多。

? Component Pascal
這是一種看上去似乎與 Pascal 相關(guān)的編程語言午衰，但實際上與它不兼容立宜。它實際上是 Oberon-2 的一個變種。Lagoona 是一種實驗性編程語言臊岸，支持面向組件的編程橙数、將系統(tǒng)分解為邏輯或功能組件的范式。 Niklaus Wirth 的學(xué)生 Michael Franz 發(fā)明了 Lagoona 帅戒。 Seneca商模，以 Oberon-2 著稱，是 Oberon 編程語言的擴展。

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

? Occam
這是由 David May 和他的同事們在 INMOS 發(fā)明的一項命令式程序性語言忿晕。 它類似于 Pascal 。Occam-pi 是 Occam 的一種變體银受，已經(jīng)擴展到包括嵌套協(xié)議践盼、遞歸、協(xié)議繼承宾巍、數(shù)組構(gòu)造函數(shù)和運行時進程創(chuàng)建咕幻。

? PL/C
它被發(fā)明之后用于教授編程知識。它是在20世紀70年代在康奈爾大學(xué)創(chuàng)建的顶霞。

? PL/I
它是針對科研和工程應(yīng)用的必需的計算機編程語言肄程。主要用于執(zhí)行數(shù)據(jù)處理，它還支持結(jié)構(gòu)化編程和遞歸选浑。

? Rapira
它是一種在蘇聯(lián)學(xué)校教授計算機程序設(shè)計的過程式編程語言蓝厌。蘇聯(lián)開發(fā)的這種語言最初是基于俄語的關(guān)鍵詞。隨后才加入的英文關(guān)鍵詞古徒。

? RPG
此編程語言用于業(yè)務(wù)應(yīng)用程序中拓提。它可以與 IBM 的 System I 中間件計算機一起使用。

腳本語言
腳本語言是用來控制應(yīng)用程序的編程語言隧膘。腳本可以獨立于其它任何應(yīng)用程序執(zhí)行代态。它們多數(shù)時候嵌入在應(yīng)用程序中，用于控制或用于執(zhí)行頻繁執(zhí)行的自動任務(wù)疹吃，比如與外部程序通信的任務(wù)胆数。

? AppleScript
它是 Mac OS 內(nèi)建的腳本語言。

? Awk
Awk 于上世紀70年代誕生于貝爾實驗室互墓。它使用字符串?dāng)?shù)據(jù)類型、數(shù)組和正則表達式來處理數(shù)據(jù)流和文件中基于文本的數(shù)據(jù)蒋搜。

? BeanShell
它是 Java 腳本語言篡撵，其語法與 Java 相似，是在 Java 運行環(huán)境中運行的腳本命令和語法豆挽。

? ColdFusion
它是應(yīng)用服務(wù)器和軟件開發(fā)框架育谬，帶有一個被稱為 ColdFusion Markup Language (ColdFusion 標記語言) 的腳本語言。它被稱為 CFML帮哈，其語法與 HTML 類似膛檀。

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

? JASS
它是一個事件驅(qū)動的腳本語言泳炉，為程序提供了廣泛的 API。

? Maya Embedded Language
它是 Maya 軟件中處理任務(wù)的腳本語言嚎杨，縮寫為 MEL花鹅。它的語法類似 Perl。

? Mondrian
這個腳本語言為 Internet 應(yīng)用而生枫浙，它可以看作是 Haskell 和 Java 的結(jié)合刨肃。

? PHP
PHP 是一種普遍使用的腳本語言。它用于創(chuàng)建動態(tài)網(wǎng)頁箩帚，同時也支持命令行接口真友。

? Revolution
它是基于 HyperTalk 的快速應(yīng)用程序開發(fā)語言。它跨平臺紧帕，支持動態(tài)類型盔然。

? Tcl
它被認為是一種容易學(xué)習(xí)的腳本語言。它用于嵌入式系統(tǒng)的快速原型開發(fā)焕参。

? VBScript
它是微軟開發(fā)的 Visual Basic 的變體轻纪，非常活躍叠纷。VBScript 在微軟 Windows 桌面系統(tǒng)中都作為默認組件存在刻帚。

? Windows PowerShell
它是微軟的命令行 shell 和腳本語言。它于 2006 年發(fā)布涩嚣，可用于 Windows XP崇众、Windows Vista 以及 Windows Server 2003 和 Windows Server 2008[譯者注：還有更新一些的 Windows 版本]。它與 Microsoft .NET 框架合作航厚，包括可執(zhí)行程序顷歌、獨立應(yīng)用中的窗體、常規(guī)的 .NET 類等幔睬。Cmdlet 是特定的 .NET 類和腳本眯漩，或者由一些 Cmdlet 通過必要邏輯組合起來。

標記編程語言
標記編程語言 (Markup Languages) 是一種人造語言麻顶，它使用文本注釋來定義這些文本的顯示方式赦抖。

? Curl
它是一種反射式的面向?qū)ο蟮木幊陶Z言。它是一種類似于 HTML 的標記語言辅肾。Curl 是支持多重繼承的面向?qū)ο缶幊陶Z言队萤。

? SGML
標準化通用標記語言（SGML）是來自 IBM 的通用標記語言。它是可以為文檔定義標記語言的 ISO 標準元語言矫钓。它的目的是共享必須長期保留下來的大型項目機讀文件要尔。

? HTML
超文本標記語言（縮寫為 HTML ）是用于網(wǎng)頁的最著名的標記語言舍杜。它是用 HTML 標簽的形式寫成的，它們被尖括號所包圍赵辕。HTML 標簽描述了文檔中的文本外觀既绩，并且可以嵌入到某些其他代碼中以影響 Web 瀏覽器的行為。HTML 使用 SGML 的默認語法匆帚。

? XML
這個名字代表可擴展標記語言（Extensible Markup Language）熬词。它是可擴展的，因為它允許用戶自定義 XML 元素吸重。它支持通過互聯(lián)網(wǎng)共享結(jié)構(gòu)化數(shù)據(jù)以及數(shù)據(jù)的編碼和序列化互拾。它起源于 SGML 的一個子集。 XPath 是用于從 XML 文檔中選擇節(jié)點的 XML 路徑語言嚎幸。它支持值計算颜矿。XQuery 用于查詢 XML 數(shù)據(jù)的集合〖稻В可擴展樣式表語言轉(zhuǎn)換（XSLT）是一種基于 XML 的語言骑疆，用于將 XML 文檔轉(zhuǎn)換為人類可讀的格式。Apache Ant 是軟件構(gòu)建過程中的自動化工具替废。 它使用 XML 來描述構(gòu)建過程箍铭。

? XHTML
它是一種與 HTML 類似的標記語言，遵循 XML 語法椎镣。它是 HTML 和 XML 之間的過渡诈火。 XHTML 文檔允許自動處理數(shù)據(jù)。

基于邏輯的編程語言
邏輯編程是一種基于形式邏輯的編程范例状答。用邏輯編程語言編寫的程序都是邏輯形式的一組句子冷守，表達關(guān)于某些問題域的事實和規(guī)則。（維基百科）

? ALF
代數(shù)邏輯函數(shù)式（Algebraic Logic Functional ）編程語言是一種多范式的編程語言惊科，它是功能編程和邏輯編程的組合拍摇。 ALF 程序語句會被編譯成一種抽象機指令。用 C 編寫的仿真器可以執(zhí)行抽象機的程序馆截。

? Fril
Fril 語言是由 Trevor Martin 和 Jim Baldwin 于20世紀80年代在布里斯托大學(xué)的時候設(shè)計的充活。它主要面向一階謂詞演算，支持模糊集和元編程蜡娶，基于 Prolog 的語法混卵。

? Janus
Janus 支持并發(fā)和約束式編程。

? Leda
這種計算機編程語言是基于邏輯的翎蹈，函數(shù)式，命令式和面向?qū)ο缶幊痰幕旌象w男公。因此荤堪，它是一種多范式語言合陵。

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

? Poplog
它是一個強大的多范式軟件開發(fā)環(huán)境低剔，其核心語言是 POP-11 。該開發(fā)環(huán)境的所有語言共享一個共同的語言編輯器肮塞，并且是增量編譯的編程語言襟齿。

? Prolog
它是一種支持邏輯編程的通用編程語言，通痴碚裕可以連系到人工智能和計算語言學(xué)猜欺。語言是聲明式的，程序邏輯則以關(guān)系的形式來表達拷窜。 Mercury 是基于 Prolog 的函數(shù)式邏輯編程語言开皿。Strawberry Prolog 是 Prolog 的一種方言，被設(shè)計得易于使用篮昧。 Visual Prolog 是支持面向?qū)ο缶幊痰?Prolog 強類型擴展赋荆。它是一種基于邏輯的編譯型編程語言。

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

并發(fā)編程語言
發(fā)編程 是一種計算機編程技術(shù)疚颊，可以讓操作并行執(zhí)行——在單計算機或者跨越多臺計算機上都可以實現(xiàn)狈孔，而在后一種情況下，使用術(shù)語分布式計算材义。（維基百科）

? ABCL
它是基于 Actor 的并行語言（Actor-Based Concurrent Language）的一個語言系列均抽，是在日本于1980年代和90年代開發(fā)出來的。ABCL/1其掂、ABCL/R 以及 ABCL/R2 就是 ABCL 系列的一些成員油挥。

? Afnix
它是一種多線程函數(shù)式編程語言。它的解釋器是用 C++ 編寫的款熬。 其運行時引擎支持32位和64位平臺深寥。

? Cilk
Cilk 是麻省理工學(xué)院實驗室在1994年創(chuàng)建出來的，支持多線程并行編程贤牛。

? Concurrent Pascal
美國丹麥裔計算機科學(xué)家 Per Brinch Hansen 創(chuàng)建了 Concurrent Pascal惋鹅，用來編寫操作系統(tǒng)和為實時系統(tǒng)編程。

? E
它是一種支持分布式編程的面向?qū)ο缶幊陶Z言殉簸。E 是在1997年由馬克·米勒闰集，丹·博恩斯坦與他們在電氣社區(qū)的同事們一起開發(fā)出來的沽讹，其語法類似于 Java 。

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

? Limbo
在貝爾實驗室開發(fā)出來的 Limbo 可用于為分布式系統(tǒng)編寫程序沐鼠。它的顯著特點就是其編譯器能夠生成獨立于體系結(jié)構(gòu)的目標代碼挚瘟。 Limbo 被用來開發(fā)在 Inferno 操作系統(tǒng)上運行的應(yīng)用程序。最初作為 Plan 9 操作系統(tǒng)一部分的 Alex 就是 Limbo 的前身饲梭。

? Pict
它是一種靜態(tài)類型的編程語言乘盖，現(xiàn)在還處在實驗階段。

? SALSA
Simple Actor Language System and Architecture（簡單Actor語言系統(tǒng)和架構(gòu)）的簡稱排拷，SALSA 支持并行編程侧漓，消息傳遞和分布式計算。為了具備可移植性监氢，它使用了 Java 代碼布蔗。

? SR
其名稱 SR 是 Synchronizing Resources（同步資源）的首字母縮略詞，是一種并行編程語言浪腐。

面向?qū)ο缶幊陶Z言
面向?qū)ο缶幊?( OOP) 是基于“對象”思想的編程規(guī)范纵揍，它包含數(shù)據(jù)，一般稱為屬性议街，表現(xiàn)為字段(field)的形式泽谨；還包含代碼棱烂，一般稱為方法册踩，表現(xiàn)為程序的形式欲侮。在 OOP 中环揽，計算機程序是根據(jù)對象與對象之間的交互來設(shè)計的。(Wikipedia)

? Agora
這是一種基于原型的面向?qū)ο缶幊陶Z言芍殖，具有消息傳遞機制熄驼。

? BETA
它是一種面向?qū)ο蟮木幊陶Z言郭蕉，其類和過程圍繞相同的概念蛤售，而且類被定義為對象的屬性丁鹉。它具有很強的抽象機制。BETA 還支持嵌套類悴能。

? Cecil
這是由 Craig Chambers 在華盛頓大學(xué)創(chuàng)建的一種面向?qū)ο缶幊陶Z言揣钦。它與 Objective-C 和 Modula-3 非常相似。

? Lava
Lava 是一種解釋性的可視化面向?qū)ο缶幊陶Z言漠酿。

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

? MOO
這是一種基于動態(tài)類型原型的編程語言炒嘲，支持面向?qū)ο缶幊逃钜ΑＫС之惓Ｌ幚頇C制和循環(huán)結(jié)構(gòu)团驱。

? Moto
這是開源的服務(wù)器端編程語言，擁有狀態(tài)和會話管理對象以及數(shù)據(jù)庫連接空凸。

? Object-Z
這個語言由澳大利亞的 Queensland 大學(xué)開發(fā)。它擴展了 Z 編程語言寸痢，為其添加了面向?qū)ο蟮奶匦浴?/p>

? Obliq
這是一種提供面向?qū)ο缶幊烫匦缘慕忉屝杂嬎銠C編程語言呀洲。它支持無類型變量，被設(shè)計用于分布式和多線程計算機啼止。

? Oxygene
Oxygene 是一種基于 Object Pascal 的面向?qū)ο缶幊陶Z言道逗，擁有豐富的功能集。它以前被稱為 ‘Chrome’献烦。

? Pliant
它基于動態(tài)編譯器滓窍，具有獨特的能力來支持低級指令列表，同時也支持高級表達式巩那。

? Prograph
它是可視化的面向?qū)ο笳Z言吏夯，支持多種樣式，使用符號來表示數(shù)據(jù)上的操作即横。

? REBOL
REBOL 由 Relative Expression Based Object Language (基于對象的相關(guān)表達式語言) 的首字母組成噪生。它被設(shè)計用于分布式平臺和網(wǎng)絡(luò)通信。

? Scala
Scala 名稱表示它是可擴展(Scalable)的語言东囚。它是一種多范型編程語言跺嗽，提供了面向?qū)ο蠹昂瘮?shù)式編程能力。

? Self
這是基于原型的面向?qū)ο缶幊陶Z言页藻。NewtonScript 在很大程序上受 Self 影響桨嫁，它用于為 Apple Newton 編寫程序。

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

? XOTcl
它是從 Tool Command Language [譯者注：可能叫 Tcl 更容易認出來] 擴展而來弥鹦，支持元類肚逸、動態(tài)類和方法。

? IO
這是純面向?qū)ο缶幊陶Z言彬坏，擁有基于原型對象的模型朦促。它體積不大，可以在小型便攜式虛擬機上運行