計(jì)算機(jī)編程語(yǔ)言可用于向計(jì)算機(jī)傳遞命令。根據(jù)特定的語(yǔ)法和語(yǔ)義規(guī)則，在編程語(yǔ)言中定義每個(gè)結(jié)構(gòu)的含義。

現(xiàn)在我得到了一個(gè)凡是可以找得到的每種編程語(yǔ)言的列表。我將它們分為以下幾類：

解釋型編程語(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

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

AutoIt

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

BASIC

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

Eiffel

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

Forth

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

Frink

由 Alan Eliasen 開發(fā)，以 John Frink 教授命名——他是一位頗受歡迎的虛構(gòu)人物。它基于 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)用程序。荷蘭計(jì)算機(jī)科學(xué)家馬克·奧馬斯（Mark Overmars）設(shè)計(jì)了這種語(yǔ)言。

ICI

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

J

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

Lisp

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

Lua

計(jì)算機(jī)圖形技術(shù)組的成員在1993年開發(fā)出了 Lua。它被設(shè)計(jì)成為腳本語(yǔ)言，是一種不可獲取的過(guò)程式編程語(yǔ)言，以簡(jiǎn)單而強(qiáng)大而聞名。

M

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

Pascal

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

PCASTL

它是 Parent and Childset Accessible Syntax Tree Language（可訪問(wèn)父和子集語(yǔ)法樹語(yǔ)言）的縮寫，是由 Philippe Choquette 開發(fā)出來(lái)的高級(jí)語(yǔ)言，屬于解釋型的計(jì)算機(jī)編程語(yǔ)言類型。 它是專門為自修改代碼而設(shè)計(jì)的。

Perl

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

PostScript

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

Python

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

REXX

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

Ruby

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

SLang

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

Spin

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

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

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

Charity

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

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

F#

它是面向 .NET Framework 的一種編程語(yǔ)言，同時(shí)支持函數(shù)式以及命令式的面向?qū)ο缶幊?。微軟研究院?Don Syme 開發(fā)了這種語(yǔ)言，他現(xiàn)在正在 Microsoft 開發(fā)部門進(jìn)行參與開發(fā)工作。它被稱作 F Sharp ，被集成到 .NET Framework 和 Visual Studio 中。

Haskell

Haskell 是以 Haskell Curry ——一個(gè)邏輯學(xué)家——來(lái)命名的，是一中標(biāo)準(zhǔn)化的純函數(shù)式語(yǔ)言。它支持模式匹配，可定義運(yùn)算符、單個(gè)賦值、代數(shù)數(shù)據(jù)類型以及遞歸函數(shù)。

Joy

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

Kite

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

ML

愛丁堡大學(xué)的羅賓·米爾納（Robin Milner）及其同事在七十年代推出了 ML 。因?yàn)樗С置钍骄幊?，所以并非一種純粹的函數(shù)式語(yǔ)言。標(biāo)準(zhǔn) ML 在編譯器編寫者群體中很受歡迎，是一種模塊化的函數(shù)式編程語(yǔ)言。Alice 是標(biāo)準(zhǔn) ML 的方言，支持分布式計(jì)算，多線程和約束式編程。Caml 是 ML 的另一種方言，是一種支持自動(dòng)內(nèi)存管理的靜態(tài)類型語(yǔ)言。Ocaml 是作為開源項(xiàng)目開發(fā)出來(lái)的 Caml 實(shí)現(xiàn)。 JoCaml 是基于連接演算模式的 Ocaml 版本。

Nemerle

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

OPAL

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

OPS5

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

Q

之所以被稱為 Q ，因?yàn)樗且环N等式（equational）編程語(yǔ)言。它是由德國(guó)美因茨大學(xué) Albert Graf 設(shè)計(jì)出來(lái)的一種解釋型函數(shù)式語(yǔ)言。它可以被描述為用于對(duì)表達(dá)式進(jìn)行計(jì)算的一組方程式。

編譯型編程語(yǔ)言

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

Ada

它是一種基于 Pascal 的靜態(tài)類型、結(jié)構(gòu)化、命令式的編程語(yǔ)言。Jean Ichbiah 帶領(lǐng)的 CII Honeywell Bull 團(tuán)隊(duì)開發(fā)了 Ada。Ada 編譯器由關(guān)鍵任務(wù)系統(tǒng)驗(yàn)證，它是符合國(guó)際標(biāo)準(zhǔn)的計(jì)算機(jī)編程語(yǔ)言。

ALGOL

它的名稱就表明了它是一種算法語(yǔ)言。實(shí)際上它是在20世紀(jì)50年代中期開發(fā)出來(lái)的一系列命令式編程語(yǔ)言。它被證明可用于創(chuàng)建像 BCPL、B 和 C 這樣的編程語(yǔ)言。位于 Oslo 的挪威計(jì)算機(jī)中心的 OleJohan Dahl 和 Kristen Nygaard 在它的基礎(chǔ)上創(chuàng)造了 Simula。

C

貝爾電腦實(shí)驗(yàn)室的 Dennis Ritchie 開發(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 開發(fā)了 C++，把它作為 C 語(yǔ)言的擴(kuò)展。它最初被稱為“含有類的C”，直到 1983 年才被稱為 C++。它是一種支持過(guò)程化編程、泛型編程、面向?qū)ο缶幊毯蛿?shù)據(jù)抽象的多樣化語(yǔ)言。

“我自己是一名從事了多年開發(fā)的C/C++老程序員，辭職目前在做自己的C++私人定制課程，今年年初我花了一個(gè)月整理了一份最適合2019年學(xué)習(xí)的c/c++學(xué)習(xí)干貨，從最基礎(chǔ)的C語(yǔ)言基礎(chǔ)到C++精通各種項(xiàng)目視頻都有整理，送給每一位c/c++小伙伴，想要獲取的可以加企鵝羊君56酒268③76，進(jìn)群即可免費(fèi)獲取。

[譯者注：multiparadigm 中的 paradigm 指形式，常見的編程形式包括：命令式(imperative)、函數(shù)式(functional)、申明式(declarative)、面向?qū)ο?objectoriented)、過(guò)程化(procedural)、邏輯化(logic)、風(fēng)格化(symbolic)——參考維基百科]

C#

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

CLEO

它被稱為 Clear Language for Expressing Orders (清楚表達(dá)命令的語(yǔ)言)，是用于 LEO 計(jì)算機(jī)的計(jì)算機(jī)語(yǔ)言。

COBOL

其名稱代表了 Common BusinessOriented Language (面向商業(yè)的通用語(yǔ)言)，被設(shè)計(jì)用于商業(yè)和金融領(lǐng)域。COLBOL 2002 標(biāo)準(zhǔn)支持面向?qū)ο缶幊?。它是一個(gè)非常古老的編程語(yǔ)言，但仍然在使用。

Cobra

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

D

它最初被設(shè)計(jì)為 C++ 的增強(qiáng)，受 Java、Eiffel 和 C# 的影響。它是面向?qū)ο?、命令式、多樣化的系統(tǒng)編程語(yǔ)言，由 Digital Mars 的 Walter Bright 開發(fā)。

DASL

它是 Distributed Application Specification Language (分布式應(yīng)用程序描述語(yǔ)言) 的縮寫，是由 Sun 公司開發(fā)的一款高級(jí)、強(qiáng)類型的編程語(yǔ)言。創(chuàng)建它是為了用來(lái)開發(fā) Web 應(yīng)用。

DIBOL

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

Fortran

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

Java

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

JOVIAL

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

ObjectiveC

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

SMALL

它的名稱表示 Small Machine Algollike Language (類似 Glgol 的小型機(jī)器語(yǔ)言)。它的代碼與 ALGOL 類似，用于在小型機(jī)上編程。

Smalltalk

它是反射式的面向?qū)ο缶幊陶Z(yǔ)言，支持動(dòng)態(tài)類型。 Alan Kay、Adele Goldberg、Dan Ingalls、Scott Wallace、Ted Kaehler 和他們?cè)?Xerox PARC 的同事開發(fā)了 Smalltalk。他們?yōu)榻逃猛驹O(shè)計(jì)了 Smalltalk，之后它就流行起來(lái)了。VisualWorks 是 Samlltalk 的優(yōu)秀實(shí)現(xiàn)。Squeak 是 Smalltalk 的一種實(shí)現(xiàn)形式。Scratch 是基于 Squeak 的可視化編程語(yǔ)言。

Turing

它于 1982 年由加拿大多倫多大學(xué)的 Ric Holt 和 James Cordy 開發(fā)出來(lái)。它的名字是為了紀(jì)念英國(guó)計(jì)算機(jī)科學(xué)家 Alan Turing(艾蘭·圖靈)。它很像 Pascal，從 2007 年開始免費(fèi)。

Visual Basic

這是一個(gè)事件驅(qū)動(dòng)的編程語(yǔ)言，通過(guò)集成開發(fā)環(huán)境打包。它從 BASIC 繼承了很多特性。它的圖形化開發(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)編程。

XL

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

過(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ǔ)言之一?？▋?nèi)基梅隆大學(xué)的 W.A.Wolf、D.B. Russell 和 A.N. Habermann 發(fā)明了 Bliss 。它包括異常處理機(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ǔ)言的程序員被稱為作者，編寫程序的行為被稱為腳本。HyperTalk 由 Dan Winker 于 1987 年設(shè)計(jì)，結(jié)構(gòu)上類似于 Pascal 。

Modula2

它是1978年由 Niklaus Wirth 在 ETH 創(chuàng)立的通用過(guò)程式語(yǔ)言。它與 Pascal 類似，具有系統(tǒng)編程和多重編程功能。

Oberon

Niklaus Wirth、Pascal和 Modula 背后的人，在 1986 年提出了 Oberon ，它被設(shè)計(jì)為 Oberon 操作系統(tǒng)的一部分。它類似于 Modula2 ，但比它小得多。

Component Pascal

這是一種看上去似乎與 Pascal 相關(guān)的編程語(yǔ)言，但實(shí)際上與它不兼容。它實(shí)際上是 Oberon2 的一個(gè)變種。Lagoona 是一種實(shí)驗(yàn)性編程語(yǔ)言，支持面向組件的編程、將系統(tǒng)分解為邏輯或功能組件的范式。 Niklaus Wirth 的學(xué)生 Michael Franz 發(fā)明了 Lagoona 。 Seneca，以 Oberon2 著稱，是 Oberon 編程語(yǔ)言的擴(kuò)展。

MATLAB

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

Occam

這是由 David May 和他的同事們?cè)?INMOS 發(fā)明的一項(xiàng)命令式程序性語(yǔ)言。 它類似于 Pascal 。Occampi 是 Occam 的一種變體，已經(jīng)擴(kuò)展到包括嵌套協(xié)議、遞歸、協(xié)議繼承、數(shù)組構(gòu)造函數(shù)和運(yùn)行時(shí)進(jìn)程創(chuàng)建。

PL/C

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

PL/I

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

Rapira

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

RPG

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

腳本語(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

Awk 于上世紀(jì)70年代誕生于貝爾實(shí)驗(yàn)室。它使用字符串?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ù)器和軟件開發(fā)框架，帶有一個(gè)被稱為 ColdFusion Markup Language (ColdFusion 標(biāo)記語(yǔ)言) 的腳本語(yǔ)言。它被稱為 CFML，其語(yǔ)法與 HTML 類似。

FScript

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

JASS

它是一個(gè)事件驅(qū)動(dòng)的腳本語(yǔ)言，為程序提供了廣泛的 API。

Maya Embedded Language

它是 Maya 軟件中處理任務(wù)的腳本語(yǔ)言，縮寫為 MEL。它的語(yǔ)法類似 Perl。

Mondrian

這個(gè)腳本語(yǔ)言為 Internet 應(yīng)用而生，它可以看作是 Haskell 和 Java 的結(jié)合。

PHP

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

Revolution

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

Tcl

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

VBScript

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

Windows PowerShell

它是微軟的命令行 shell 和腳本語(yǔ)言。它于 2006 年發(fā)布，可用于 Windows XP、Windows Vista 以及 Windows Server 2003 和 Windows Server 2008[譯者注：還有更新一些的 Windows 版本]。它與 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ǔ)言（縮寫為 HTML ）是用于網(wǎng)頁(yè)的最著名的標(biāo)記語(yǔ)言。它是用 HTML 標(biāo)簽的形式寫成的，它們被尖括號(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ù)的集合?？蓴U(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ǔ)言編寫的程序都是邏輯形式的一組句子，表達(dá)關(guān)于某些問(wèn)題域的事實(shí)和規(guī)則。（維基百科）

ALF

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

Fril

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

Janus

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

Leda

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

Oz

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

Poplog

它是一個(gè)強(qiáng)大的多范式軟件開發(fā)環(huán)境，其核心語(yǔ)言是 POP11 。該開發(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ū)ο缶幊獭?/p>

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

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

ABCL

它是基于 Actor 的并行語(yǔ)言（ActorBased Concurrent Language）的一個(gè)語(yǔ)言系列，是在日本于1980年代和90年代開發(fā)出來(lái)的。ABCL/1、ABCL/R 以及 ABCL/R2 就是 ABCL 系列的一些成員。

Afnix

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

Cilk

Cilk 是麻省理工學(xué)院實(shí)驗(yàn)室在1994年創(chuàng)建出來(lái)的，支持多線程并行編程。

Concurrent Pascal

美國(guó)丹麥裔計(jì)算機(jī)科學(xué)家 Per Brinch Hansen 創(chuàng)建了 Concurrent Pascal，用來(lái)編寫操作系統(tǒng)和為實(shí)時(shí)系統(tǒng)編程。

E

它是一種支持分布式編程的面向?qū)ο缶幊陶Z(yǔ)言。E 是在1997年由馬克·米勒，丹·博恩斯坦與他們?cè)陔姎馍鐓^(qū)的同事們一起開發(fā)出來(lái)的，其語(yǔ)法類似于 Java 。

Joule

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

Limbo

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

Pict

它是一種靜態(tài)類型的編程語(yǔ)言，現(xiàn)在還處在實(shí)驗(yàn)階段。

SALSA

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

SR

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

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

面向?qū)ο缶幊?( OOP) 是基于“對(duì)象”思想的編程規(guī)范，它包含數(shù)據(jù)，一般稱為屬性，表現(xiàn)為字段(field)的形式；還包含代碼，一般稱為方法，表現(xiàn)為程序的形式。在 OOP 中，計(jì)算機(jī)程序是根據(jù)對(duì)象與對(duì)象之間的交互來(lái)設(shè)計(jì)的。(Wikipedia)

Agora

這是一種基于原型的面向?qū)ο缶幊陶Z(yǔ)言，具有消息傳遞機(jī)制。

BETA

它是一種面向?qū)ο蟮木幊陶Z(yǔ)言，其類和過(guò)程圍繞相同的概念，而且類被定義為對(duì)象的屬性。它具有很強(qiáng)的抽象機(jī)制。BETA 還支持嵌套類。

Cecil

這是由 Craig Chambers 在華盛頓大學(xué)創(chuàng)建的一種面向?qū)ο缶幊陶Z(yǔ)言。它與 ObjectiveC 和 Modula3 非常相似。

Lava

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

Lisaac

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

MOO

這是一種基于動(dòng)態(tài)類型原型的編程語(yǔ)言，支持面向?qū)ο缶幊?。它支持異常處理機(jī)制和循環(huán)結(jié)構(gòu)。

Moto

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

ObjectZ

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

Obliq

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

Oxygene

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

Pliant

它基于動(dòng)態(tài)編譯器，具有獨(dú)特的能力來(lái)支持低級(jí)指令列表，同時(shí)也支持高級(jí)表達(dá)式。

Prograph

它是可視化的面向?qū)ο笳Z(yǔ)言，支持多種樣式，使用符號(hào)來(lái)表示數(shù)據(jù)上的操作。

REBOL

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

Scala

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

Self

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

Slate

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

XOTcl

它是從 Tool Command Language [譯者注：可能叫 Tcl 更容易認(rèn)出來(lái)] 擴(kuò)展而來(lái)，支持元類、動(dòng)態(tài)類和方法。

IO

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

以上就是我們今天向大家介紹的編程語(yǔ)言，大家有什么其他的看法歡迎在下方評(píng)論出來(lái)哦！