世界編程語言大全
計算機編程語言可用於將指令傳達給計算機。它們基於某些句法和語義規則，定義了編程語言中每種結構的含義。
現在我得到了一個凡是可以找得到的每種編程語言的列表。我將它們分為以下幾類：☞ 解釋型編程語言☞ 函數式編程語言☞ 編譯型編程語言☞ 過程式編程語言☞ 腳本編程語言☞ 標記編程語言☞ 基於邏輯的編程語言☞ 併發編程語言☞ 面向對象編程語言
解釋型編程語言解釋型語言是這樣一種編程語言，其大部分實現直接執行指令，而無需先將程序編譯成機器語言指令。解釋器直接執行程序，它會將每個語句翻譯成已編譯成了機器代碼的一個或多個子程序的序列。（維基百科）
☞ APLAPL 以《編程語言（A Programming Language）》一書命名（Iverson，Kenneth E.，1962），它是一種數組編程語言。它可以在多個數據陣列上同時工作。 它是一種解釋型、可交互和函數式的編程語言。
☞ AutoIt它是自由軟件，是一種用於 Microsoft Windows 的自動化語言。 主要目的是創建可用於在 Windows 上執行某些重複任務的自動化腳本。
☞ BASIC於1964年由約翰·喬治·凱米尼（John George Kemeny）和托特·尤金·庫爾茨（Thomas Eugene Kurtz）在達特茅斯（Dartmouth）開發，它是初學者多用符號指令代碼（Beginner’s All-purpose Symbolic Instruction Code）的縮寫。它的目的是為非科學人士提供一個使用電腦的途徑。
☞ Eiffel它是一種被 ISO 標準化了的面向對象編程語言，用於開發可擴展和可重複使用的軟件。它是一個可面向許多行業的開發平臺，如金融，航空航天和視頻遊戲。
☞ Forth它是一種結構化的命令式編程語言，其實現基於堆棧。它支持交互式的命令執行以及對命令序列的編譯。
☞ Frink由 Alan Eliasen 開發，以 John Frink 教授命名——他是一位頗受歡迎的虛構人物。它基於 Java 虛擬機，專注於科學和工程領域。其突出特點是能通過所有的能讓數量包含其測量單位的計算，來對測量單位進行跟蹤。
☞ Game Maker 語言它是一種解釋型的計算機編程語言，旨在與 Game Maker 配合使用—— Game Maker 是一種遊戲製作應用程序。荷蘭計算機科學家馬克·奧馬斯（Mark Overmars）設計了這種語言。
☞ ICIICI 是由 Tim Long 於1992年設計的，它是一種通用的解釋型計算機編程語言。它支持動態輸入，靈活的數據類型以及其它的一些類似於 C 的語言結構。
☞ JKen Iverson 和 Roger Hui 開發了這個只需要使用基礎 ASCII 字符集的編程語言。它是一種數組編程語言，適用於數學和統計操作。
☞ LispLisp是如今正在被廣泛使用的第二古老的高級編程語言。其名稱 Lisp 派生自“列表處理語言（List Processing Language）”。Lisp 支持的重要數據結構之一是鏈表。 Lisp 程序會將源代碼當做是數據結構。
☞ Lua計算機圖形技術組的成員在1993年開發出了 Lua。它被設計成為腳本語言，是一種不可獲取的過程式編程語言，以簡單而強大而聞名。
☞ MM 是 MUMPS 的縮寫，它是為醫療保健行業而創建的一種編程語言。M 語言是由醫學信息技術的創始人 Neil Pappalardo 以及他的同事開發出來的。
☞ Pascal它是一種過程式編程語言，旨在利用上數據結構化和結構化編程的概念。瑞士計算機科學家 Niklaus Wirth 設計了這種語言，是以法國數學家和哲學家 Blaise Pascal 來命名的。
☞ PCASTL它是 Parent and Childset Accessible Syntax Tree Language（可訪問父和子集語法樹語言）的縮寫，是由 Philippe Choquette 開發出來的高級語言，屬於解釋型的計算機編程語言類型。 它是專門為自修改代碼而設計的。
☞ PerlPerl 是一種支持動態編程的高級解釋型編程語言。它是由 Larry Wall 開發的，而 Larry Wall 則是 NASA 的系統管理員。它為程序員提供了文本處理的能力，並融合了 C、Lisp 還有 Awk 等各種語言的功能特性。
☞ PostScript它主要在桌面出版領域中使用，被稱為頁面描述語言。它是一種基於堆棧的動態編程語言，由美國計算機科學家 John Warnock 和計算機科學領域著名人物 Charles Geschke 開發。這些開發人員後來一起創立了非常著名的 Adobe Systems 公司。
☞ Python它是一種支持強制命令，面向對象和函數式編程樣式的高級編程語言。它與 Perl 在動態類型系統和自動內存管理方面有相似之處。Python 最初於1991年由荷蘭計算機程序員 Guido van Rossum 發佈，它是一種基於社區的開放性語言，其開發由 Python Software Foundation 來進行管理。
☞ REXXRestructured Extended Executor（重構擴展執行器）的簡稱，它是由 IBM 開發的解釋型語言。它被設計出來的目的是成為一種易於學習和閱讀的語言。 NetRexx 是 IBM 提供的基於 REXX 的面向對象編程實現。Object REXX 是基於 REXX 的面向對象腳本語言。
☞ Ruby在20世紀90年代，日本興起了要開發這樣一種語言的動力。它具有與 Perl 類似的動態類型系統和自動內存管理功能。它支持多種編程樣式，是一種動態的面嚮對象語言。
☞ S-LangS-Lang 一開始是作為一種基於堆棧的語言來而開發出來，而現在已經演變為一種類似於 C 的語言。它是由 John E. Davis 開發出來的。
☞ SpinSpin 是一種多任務且面向對象的編程語言，其編譯器會將代碼轉換為字節碼。多個 Spin 代碼線程可以在同時運行，從而實現多任務處理。Spin 是由 Parallax 的 Chip Gracey 開發出來的。
函數式編程語言函數式編程語言 定義每次的計算作為數學求值。他們把焦點集中在函數的應用。大量的函數編程語言被綁定在數學計算上。
☞ Charity它是一種純淨的函數式，非圖靈完備語言，這意味著所有的程序都可以被保證能終止。Charity 是由加拿大的一所公立大學 —— Calgary 大學設計的。
☞ Clean它是一種純淨的函數式編程語言，擁有跨平臺能力，自動垃圾收集機制，多數據結構和引用透明性，這些能力意味著一個函數，只要給它一個輸入將總是會有一個輸出。
☞ Curry它是一種函數邏輯編程語言，實現了函數式與邏輯編程，還有約束式編程。在約束式編程方法中，變量之間的關係是以約束的形式表示的。
☞ Erlang它是一種併發編程語言，包含了一系列支持函數式編程的子集。愛立信將 Erlang 作為一種分佈式軟實時與容錯語言來進行開發，並於1998年將其作為一種開放源代碼的計算機編程語言發佈，是最常用的函數式編程語言之一。
☞ F#它是面向 .NET Framework 的一種編程語言，同時支持函數式以及命令式的面向對象編程。微軟研究院的 Don Syme 開發了這種語言，他現在正在 Microsoft 開發部門進行參與開發工作。它被稱作 F Sharp ，被集成到 .NET Framework 和 Visual Studio 中。
☞ HaskellHaskell 是以 Haskell Curry ——一個邏輯學家——來命名的，是一中標準化的純函數式語言。它支持模式匹配，可定義運算符、單個賦值、代數數據類型以及遞歸函數。
☞ Joy它是一種基於函數組合的純函數式語言。澳大利亞 La Trobe 大學的 Manfred von Thun 開發出了這種語言。
☞ Kite它於2006年推出，帶有一個由面向對象和函數式編程功能特性混合組成的功能集合。這是一種可快速運行的語言。有趣的是，Kite 使用管道字符來進行函數式調用，而不像使用其他語言那樣使用點或者箭頭字符。
☞ ML愛丁堡大學的羅賓·米爾納（Robin Milner）及其同事在七十年代推出了 ML 。因為它支持命令式編程，所以並非一種純粹的函數式語言。標準 ML 在編譯器編寫者群體中很受歡迎，是一種模塊化的函數式編程語言。Alice 是標準 ML 的方言，支持分佈式計算，多線程和約束式編程。Caml 是 ML 的另一種方言，是一種支持自動內存管理的靜態類型語言。Ocaml 是作為開源項目開發出來的 Caml 實現。 JoCaml 是基於連接演算模式的 Ocaml 版本。
☞ Nemerle它是專為 .NET 平臺設計的一種靜態類型編程語言。 Nemerle 中的程序會被編譯成中間語言字節碼。它支持函數式，命令式以及面向對象編程。
☞ OPAL該名稱表示的是 Optimized Applicative Language （優化應用語言），是由柏林技術大學開發出來的函數式編程語言。
☞ OPS5它是一種基於規則的生產系統計算機語言，已經成為在專業系統中使用的首選語言。
☞ Q之所以被稱為 Q ，因為它是一種等式（equational）編程語言。它是由德國美因茨大學 Albert Graf 設計出來的一種解釋型函數式語言。它可以被描述為用於對錶達式進行計算的一組方程式。
編譯型編程語言編譯型語言是典型的通過編譯器(將源代碼生成機器碼的翻譯工具)而不是解釋器(一步步執行源碼，不會在運行前發生轉換)實現的編程語言。(維基百科)
☞ Ada它是一種基於 Pascal 的靜態類型、結構化、命令式的編程語言。Jean Ichbiah 帶領的 CII Honeywell Bull 團隊開發了 Ada。Ada 編譯器由關鍵任務系統驗證，它是符合國際標準的計算機編程語言。
☞ ALGOL它的名稱就表明了它是一種算法語言。實際上它是在20世紀50年代中期開發出來的一系列命令式編程語言。它被證明可用於創建像 BCPL、B 和 C 這樣的編程語言。位於 Oslo 的挪威計算機中心的 Ole-Johan Dahl 和 Kristen Nygaard 在它的基礎上創造了 Simula。
☞ C貝爾電腦實驗室的 Dennis Ritchie 開發了 C 用於 Unix 平臺。它是通用、跨平臺、過程化、命令式的編程語言。它用於實現系統軟件和應用軟件，是當今使用最廣泛的計算機編程語言之一。C++ 和 C# 都是基於 C 發展而來。
☞ C++它由高級語言和低級語言相結合，因此被認為是一箇中級編程語言。貝爾實驗室的 Bjarne Stoustrup 開發了 C++，把它作為 C 語言的擴展。它最初被稱為“含有類的C”，直到 1983 年才被稱為 C++。它是一種支持過程化編程、泛型編程、面向對象編程和數據抽象的多樣化語言。[譯者注：multi-paradigm 中的 paradigm 指形式，常見的編程形式包括：命令式(imperative)、函數式(functional)、申明式(declarative)、面向對象(object-oriented)、過程化(procedural)、邏輯化(logic)、風格化(symbolic)——參考維基百科]
☞ C#C Sharp 也是一種多樣化語言，支持命令式、泛型和麵向對象編程。它是 Microsoft .NET 框架 的一部分。它的面向對象語法與 C++ 相似。它還受到 Java 和 Delphi 的影響。
☞ CLEO它被稱為 Clear Language for Expressing Orders (清楚表達命令的語言)，是用於 LEO 計算機的計算機語言。
☞ COBOL其名稱代表了 Common Business-Oriented Language (面向商業的通用語言)，被設計用於商業和金融領域。COLBOL 2002 標準支持面向對象編程。它是一個非常古老的編程語言，但仍然在使用。
☞ Cobra它是一個運行於 .NET 框架和 Mono 框架的面向對象編程語言，由 Chunk Esterbrook 開發。它的設計受 Python 和 C# 的影響。它支持靜態和動態類型，適用於單元測試。現在它是一個開源項目。
☞ D它最初被設計為 C++ 的增強，受 Java、Eiffel 和 C# 的影響。它是面向對象、命令式、多樣化的系統編程語言，由 Digital Mars 的 Walter Bright 開發。
☞ DASL它是 Distributed Application Specification Language (分佈式應用程序描述語言) 的縮寫，是由 Sun 公司開發的一款高級、強類型的編程語言。創建它是為了用來開發 Web 應用。
☞ DIBOLDIBOL 是 Digital Interactive Business Oriented Language(面向商業的數字互動語言)的簡寫，它是通用過程命令式的編程語言。它和 COBOL 很像，適用於管理信息系統的開發。
☞ Fortran這是過程化、命令式的通用計算機編程語言，適用於科學計算和數值運算。自 IBM 於 20 世紀 50 年代開發出來，它迅速走紅。它是結構化的編譯型編程語言，在高性能計算領域非常流行。它是 Fortran95 的子集。Fortran 的修訂版本，Fortran 2003 支持面向對象編程。
☞ Java它是通用計算機編程語言，併發，基於類，面向對象並專門針對儘可能少的依賴來進行設計。編譯後的 Java 代碼可以不需要再次編譯就運行於各種支持 Java 的平臺。是現代非常流行的語言。
☞ JOVIAL它是類似 ALGOL 的高階計算機編程語言。它適用於嵌入式系統的設計和開發。
☞ Objective-C它是一種反射式面向對象程序編程語言，在 C 的基礎上添加了消息服務。
☞ SMALL它的名稱表示 Small Machine Algol-like Language (類似 Glgol 的小型機器語言)。它的代碼與 ALGOL 類似，用於在小型機上編程。
☞ Smalltalk它是反射式的面向對象編程語言，支持動態類型。 Alan Kay、Adele Goldberg、Dan Ingalls、Scott Wallace、Ted Kaehler 和他們在 Xerox PARC 的同事開發了 Smalltalk。他們為教育用途設計了 Smalltalk，之後它就流行起來了。VisualWorks 是 Samlltalk 的優秀實現。Squeak 是 Smalltalk 的一種實現形式。Scratch 是基於 Squeak 的可視化編程語言。
☞ Turing它於 1982 年由加拿大多倫多大學的 Ric Holt 和 James Cordy 開發出來。它的名字是為了紀念英國計算機科學家 Alan Turing(艾蘭·圖靈)。它很像 Pascal，從 2007 年開始免費。
☞ Visual Basic這是一個事件驅動的編程語言，通過集成開發環境打包。它從 BASIC 繼承了很多特性。它的圖形化開發特性使初學者學習起來非常容易。
☞ Visual FoxPro它是面向對象和過程化編程語言，來源於 FoxPro。它自身集成了關係型數據庫系統，不再需要額外的編程環境。它支持動態編程。
☞ XL它的誕生是為了支持概念編程，這是一種致力於將程序員腦中的概念轉化為代碼的編程形式。程序可以重新配置 XL 的語法和語義
過程式編程語言過程式（命令式）編程 意味著需指定程序應該達到預期狀態的步驟。過程是可以通過過程調用引用的一組語句。 過程有助於代碼中庸。 過程式編程使程序結構化，易於追蹤程序流程。
☞ Bliss它是一種系統編程語言，是在 C 語言出現之前最知名的語言之一。卡內基梅隆大學的 W.A.Wolf、D.B. Russell 和 A.N. Habermann 發明了 Bliss 。它包括異常處理機制、協程和宏，但並不包括 goto 語句。
☞ ChucK它是可以在 Mac OS X、Linux 以及 Microsoft Windows 上運行的併發和強音頻定時的編程語言。 它特別以其為程序員提供在運行程序中做一些修改的能力而著稱。
☞ CLIST它是一種使用命令集合的形式表示的過程式編程語言，這些命令集合需要像批處理文件一樣順序執行。
☞ HyperTalk它是一種高級編程語言，旨在給程序員的初學者使用。 這種計算機語言的程序員被稱為作者，編寫程序的行為被稱為腳本。HyperTalk 由 Dan Winker 於 1987 年設計，結構上類似於 Pascal 。
☞ Modula-2它是1978年由 Niklaus Wirth 在 ETH 創立的通用過程式語言。它與 Pascal 類似，具有系統編程和多重編程功能。
☞ OberonNiklaus Wirth、Pascal和 Modula 背後的人，在 1986 年提出了 Oberon ，它被設計為 Oberon 操作系統的一部分。它類似於 Modula-2 ，但比它小得多。
☞ Component Pascal這是一種看上去似乎與 Pascal 相關的編程語言，但實際上與它不兼容。它實際上是 Oberon-2 的一個變種。Lagoona 是一種實驗性編程語言，支持面向組件的編程、將系統分解為邏輯或功能組件的範式。 Niklaus Wirth 的學生 Michael Franz 發明了 Lagoona 。 Seneca，以 Oberon-2 著稱，是 Oberon 編程語言的擴展。
☞ MATLAB它是一種數值計算環境和一種能夠進行矩陣計算、功能繪圖和算法實現的編程語言。 它也可以用於創建用戶界面。 MathWorks 創建了 MATLAB 。
☞ Occam這是由 David May 和他的同事們在 INMOS 發明的一項命令式程序性語言。 它類似於 Pascal 。Occam-pi 是 Occam 的一種變體，已經擴展到包括嵌套協議、遞歸、協議繼承、數組構造函數和運行時進程創建。
☞ PL/C它被髮明之後用於教授編程知識。它是在20世紀70年代在康奈爾大學創建的。
☞ PL/I它是針對科研和工程應用的必需的計算機編程語言。主要用於執行數據處理，它還支持結構化編程和遞歸。
☞ Rapira它是一種在蘇聯學校教授計算機程序設計的過程式編程語言。蘇聯開發的這種語言最初是基於俄語的關鍵詞。隨後才加入的英文關鍵詞。
☞ RPG此編程語言用於業務應用程序中。它可以與 IBM 的 System I 中間件計算機一起使用。
腳本語言腳本語言是用來控制應用程序的編程語言。腳本可以獨立於其它任何應用程序執行。它們多數時候嵌入在應用程序中，用於控制或用於執行頻繁執行的自動任務，比如與外部程序通信的任務。
☞ AppleScript它是 Mac OS 內建的腳本語言。
☞ AwkAwk 於上世紀70年代誕生於貝爾實驗室。它使用字符串數據類型、數組和正則表達式來處理數據流和文件中基於文本的數據。
☞ BeanShell它是 Java 腳本語言，其語法與 Java 相似，是在 Java 運行環境中運行的腳本命令和語法。
☞ ColdFusion它是應用服務器和軟件開發框架，帶有一個被稱為 ColdFusion Markup Language (ColdFusion 標記語言) 的腳本語言。它被稱為 CFML，其語法與 HTML 類似。
☞ F-Script它是一種面向對象的腳本語言，與 Smalltalk 非常接近，但增加了數組編程的特性。
☞ JASS它是一個事件驅動的腳本語言，為程序提供了廣泛的 API。
☞ Maya Embedded Language它是 Maya 軟件中處理任務的腳本語言，縮寫為 MEL。它的語法類似 Perl。
☞ Mondrian這個腳本語言為 Internet 應用而生，它可以看作是 Haskell 和 Java 的結合。
☞ PHPPHP 是一種普遍使用的腳本語言。它用於創建動態網頁，同時也支持命令行接口。
☞ Revolution它是基於 HyperTalk 的快速應用程序開發語言。它跨平臺，支持動態類型。
☞ Tcl它被認為是一種容易學習的腳本語言。它用於嵌入式系統的快速原型開發。
☞ VBScript它是微軟開發的 Visual Basic 的變體，非常活躍。VBScript 在微軟 Windows 桌面系統中都作為默認組件存在。
☞ Windows PowerShell它是微軟的命令行 shell 和腳本語言。它於 2006 年發佈，可用於 Windows XP、Windows Vista 以及 Windows Server 2003 和 Windows Server 2008[譯者注：還有更新一些的 Windows 版本]。它與 Microsoft .NET 框架合作，包括可執行程序、獨立應用中的窗體、常規的 .NET 類等。Cmdlet 是特定的 .NET 類和腳本，或者由一些 Cmdlet 通過必要邏輯組合起來。
標記編程語言標記編程語言 (Markup Languages) 是一種人造語言，它使用文本註釋來定義這些文本的顯示方式。
☞ Curl它是一種反射式的面向對象的編程語言。它是一種類似於 HTML 的標記語言。Curl 是支持多重繼承的面向對象編程語言。
☞ SGML標準化通用標記語言（SGML）是來自 IBM 的通用標記語言。它是可以為文檔定義標記語言的 ISO 標準元語言。它的目的是共享必須長期保留下來的大型項目機讀文件。
☞ HTML超文本標記語言（縮寫為 HTML ）是用於網頁的最著名的標記語言。它是用 HTML 標籤的形式寫成的，它們被尖括號所包圍。HTML 標籤描述了文檔中的文本外觀，並且可以嵌入到某些其他代碼中以影響 Web 瀏覽器的行為。HTML 使用 SGML 的默認語法。
☞ XML這個名字代表可擴展標記語言（Extensible Markup Language）。它是可擴展的，因為它允許用戶自定義 XML 元素。它支持通過互聯網共享結構化數據以及數據的編碼和序列化。它起源於 SGML 的一個子集。 XPath 是用於從 XML 文檔中選擇節點的 XML 路徑語言。它支持值計算。XQuery 用於查詢 XML 數據的集合。可擴展樣式表語言轉換（XSLT）是一種基於 XML 的語言，用於將 XML 文檔轉換為人類可讀的格式。Apache Ant 是軟件構建過程中的自動化工具。 它使用 XML 來描述構建過程。
☞ XHTML它是一種與 HTML 類似的標記語言，遵循 XML 語法。它是 HTML 和 XML 之間的過渡。 XHTML 文檔允許自動處理數據。
基於邏輯的編程語言邏輯編程是一種基於形式邏輯的編程範例。用邏輯編程語言編寫的程序都是邏輯形式的一組句子，表達關於某些問題域的事實和規則。（維基百科）
☞ ALF代數邏輯函數式（Algebraic Logic Functional ）編程語言是一種多範式的編程語言，它是功能編程和邏輯編程的組合。 ALF 程序語句會被編譯成一種抽象機指令。用 C 編寫的仿真器可以執行抽象機的程序。
☞ FrilFril 語言是由 Trevor Martin 和 Jim Baldwin 於20世紀80年代在布里斯托大學的時候設計的。它主要面向一階謂詞演算，支持模糊集和元編程，基於 Prolog 的語法。
☞ JanusJanus 支持併發和約束式編程。
☞ Leda這種計算機編程語言是基於邏輯的，函數式，命令式和麵向對象編程的混合體。因此，它是一種多範式語言。
☞ Oz它是一種多範式語言，支持函數式，基於邏輯的，命令式和麵向對象編程。 Oz 還支持併發和分佈式編程。支持約束式編程是 Oz 語言的優點之一。
☞ Poplog它是一個強大的多範式軟件開發環境，其核心語言是 POP-11 。該開發環境的所有語言共享一個共同的語言編輯器，並且是增量編譯的編程語言。
☞ Prolog它是一種支持邏輯編程的通用編程語言，通常可以連繫到人工智能和計算語言學。語言是聲明式的，程序邏輯則以關係的形式來表達。 Mercury 是基於 Prolog 的函數式邏輯編程語言。Strawberry Prolog 是 Prolog 的一種方言，被設計得易於使用。 Visual Prolog 是支持面向對象編程的 Prolog 強類型擴展。它是一種基於邏輯的編譯型編程語言。
☞ ROOP它是一種基於 C++ 的多範式語言，推出目的是在與人工智能系統一起使用。其功能融合了函數式、邏輯和麵向對象編程。
併發編程語言發編程 是一種計算機編程技術，可以讓操作並行執行——在單計算機或者跨越多臺計算機上都可以實現，而在後一種情況下，使用術語分佈式計算。（維基百科）
☞ ABCL它是基於 Actor 的並行語言（Actor-Based Concurrent Language）的一個語言系列，是在日本於1980年代和90年代開發出來的。ABCL/1、ABCL/R 以及 ABCL/R2 就是 ABCL 系列的一些成員。
☞ Afnix它是一種多線程函數式編程語言。它的解釋器是用 C++ 編寫的。 其運行時引擎支持32位和64位平臺。
☞ CilkCilk 是麻省理工學院實驗室在1994年創建出來的，支持多線程並行編程。
☞ Concurrent Pascal美國丹麥裔計算機科學家 Per Brinch Hansen 創建了 Concurrent Pascal，用來編寫操作系統和為實時系統編程。
☞ E它是一種支持分佈式編程的面向對象編程語言。E 是在1997年由馬克·米勒，丹·博恩斯坦與他們在電氣社區的同事們一起開發出來的，其語法類似於 Java 。
☞ JouleJoule 出現在 E 編程語言之前，是一種併發數據流編程語言，可用於開發分佈式應用程序。
☞ Limbo在貝爾實驗室開發出來的 Limbo 可用於為分佈式系統編寫程序。它的顯著特點就是其編譯器能夠生成獨立於體系結構的目標代碼。 Limbo 被用來開發在 Inferno 操作系統上運行的應用程序。最初作為 Plan 9 操作系統一部分的 Alex 就是 Limbo 的前身。
☞ Pict它是一種靜態類型的編程語言，現在還處在實驗階段。
☞ SALSASimple Actor Language System and Architecture（簡單Actor語言系統和架構）的簡稱，SALSA 支持並行編程，消息傳遞和分佈式計算。為了具備可移植性，它使用了 Java 代碼。
☞ SR其名稱 SR 是 Synchronizing Resources（同步資源）的首字母縮略詞，是一種並行編程語言。
面向對象編程語言面向對象編程 ( OOP) 是基於“對象”思想的編程規範，它包含數據，一般稱為屬性，表現為字段(field)的形式；還包含代碼，一般稱為方法，表現為程序的形式。在 OOP 中，計算機程序是根據對象與對象之間的交互來設計的。(Wikipedia)
☞ Agora這是一種基於原型的面向對象編程語言，具有消息傳遞機制。
☞ BETA它是一種面向對象的編程語言，其類和過程圍繞相同的概念，而且類被定義為對象的屬性。它具有很強的抽象機制。BETA 還支持嵌套類。
☞ Cecil這是由 Craig Chambers 在華盛頓大學創建的一種面向對象編程語言。它與 Objective-C 和 Modula-3 非常相似。
☞ LavaLava 是一種解釋性的可視化面向對象編程語言。
☞ Lisaac這是基於原型概念的首款編譯性面向對象編程語言。它還支持系統編程。
☞ MOO這是一種基於動態類型原型的編程語言，支持面向對象編程。它支持異常處理機制和循環結構。
☞ Moto這是開源的服務器端編程語言，擁有狀態和會話管理對象以及數據庫連接。
☞ Object-Z這個語言由澳大利亞的 Queensland 大學開發。它擴展了 Z 編程語言，為其添加了面向對象的特性。
☞ Obliq這是一種提供面向對象編程特性的解釋性計算機編程語言。它支持無類型變量，被設計用於分佈式和多線程計算機。
☞ OxygeneOxygene 是一種基於 Object Pascal 的面向對象編程語言，擁有豐富的功能集。它以前被稱為 ‘Chrome’。
☞ Pliant它基於動態編譯器，具有獨特的能力來支持低級指令列表，同時也支持高級表達式。
☞ Prograph它是可視化的面嚮對象語言，支持多種樣式，使用符號來表示數據上的操作。
☞ REBOLREBOL 由 Relative Expression Based Object Language (基於對象的相關表達式語言) 的首字母組成。它被設計用於分佈式平臺和網絡通信。
☞ ScalaScala 名稱表示它是可擴展(Scalable)的語言。它是一種多範型編程語言，提供了面向對象及函數式編程能力。
☞ Self這是基於原型的面向對象編程語言。NewtonScript 在很大程序上受 Self 影響，它用於為 Apple Newton 編寫程序。
☞ Slate這個面向對象編程語言也是基於原型概念的。它有一些特性來自 Smalltalk 和 Self 語言。Slate 設計出來的目的是為程序員提供一個像操作系統的樣的環境。
☞ XOTcl它是從 Tool Command Language [譯者注：可能叫 Tcl 更容易認出來] 擴展而來，支持元類、動態類和方法。
☞ IO這是純面向對象編程語言，擁有基於原型對象的模型。它體積不大，可以在小型便攜式虛擬機上運行
閱讀更多 編程的霸主 的文章
