程式語言（programming language），是用來定義計算機程式的形式語言。它是一種被標準化的交流技巧，用來向計算機發出指令。一種計算機語言讓程式設計師能夠準確地定義計算機所需要使用的資料，並精確地定義在不同情況下所應當採取的行動。
程式語言原本是被設計成專門使用在計算機上的，但它們也可以用來定義演算法或者資料結構。正是因為如此，程式設計師才會試圖使程式程式碼更容易閱讀。

根據這些的小編也借鑑一些材料，幫大家整理了一下每種程式語言的列表。語言的種類分為以下幾類：

解釋型程式語言
函數語言程式設計語言
編譯型程式語言
程序式程式設計語言
指令碼程式語言
標記程式語言
基於邏輯的程式語言
併發程式語言
面向物件程式語言
解釋型程式語言

解釋型語言是這樣一種程式語言，其大部分實現直接執行指令，而無需先將程式編譯成機器語言指令。直譯器直接執行程式，它會將每個語句翻譯成已編譯成了機器程式碼的一個或多個子程式的序列。（維基百科）

APL
APL 以《程式語言（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）設計了這種語言。

ICI
ICI 是由 Tim Long 於1992年設計的，它是一種通用的解釋型計算機程式語言。它支援動態輸入，靈活的資料型別以及其它的一些類似於 C 的語言結構。

J
Ken Iverson 和 Roger Hui 開發了這個只需要使用基礎 ASCII 字符集的程式語言。它是一種陣列程式語言，適用於數學和統計操作。

Lisp
Lisp是如今正在被廣泛使用的第二古老的高階程式語言。其名稱 Lisp 派生自“列表處理語言（List Processing Language）”。Lisp 支援的重要資料結構之一是連結串列。 Lisp 程式會將原始碼當做是資料結構。

Lua
計算機圖形技術組的成員在1993年開發出了 Lua。它被設計成為指令碼語言，是一種不可獲取的程序式程式設計語言，以簡單而強大而聞名。

M
M 是 MUMPS 的縮寫，它是為醫療保健行業而建立的一種程式語言。M 語言是由醫學資訊科技的創始人 Neil Pappalardo 以及他的同事開發出來的。

Pascal
它是一種程序式程式設計語言，旨在利用上資料結構化和結構化程式設計的概念。瑞士電腦科學家 Niklaus Wirth 設計了這種語言，是以法國數學家和哲學家 Blaise Pascal 來命名的。

PCASTL
它是 Parent and Childset Accessible Syntax Tree Language（可訪問父和子集語法樹語言）的縮寫，是由 Philippe Choquette 開發出來的高階語言，屬於解釋型的計算機程式語言型別。 它是專門為自修改程式碼而設計的。

Perl
Perl 是一種支援動態程式設計的高階解釋型程式語言。它是由 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 來進行管理。

REXX
Restructured Extended Executor（重構擴充套件執行器）的簡稱，它是由 IBM 開發的解釋型語言。它被設計出來的目的是成為一種易於學習和閱讀的語言。 NetRexx 是 IBM 提供的基於 REXX 的面向物件程式設計實現。Object REXX 是基於 REXX 的面向物件指令碼語言。

Ruby
在20世紀90年代，日本興起了要開發這樣一種語言的動力。它具有與 Perl 類似的動態型別系統和自動記憶體管理功能。它支援多種程式設計樣式，是一種動態的面嚮物件語言。

S-Lang
S-Lang 一開始是作為一種基於堆疊的語言來而開發出來，而現在已經演變為一種類似於 C 的語言。它是由 John E. Davis 開發出來的。

Spin
Spin 是一種多工且面向物件的程式語言，其編譯器會將程式碼轉換為位元組碼。多個 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 中。

Haskell
Haskell 是以 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 ，因為它是一種等式（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++。它是一種支援過程化程式設計、泛型程式設計、面向物件程式設計和資料抽象的多樣化語言。

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 應用。

DIBOL
DIBOL 是 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 類似，具有系統程式設計和多重程式設計功能。

Oberon
Niklaus 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 內建的指令碼語言。

Awk
Awk 於上世紀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 的結合。

PHP
PHP 是一種普遍使用的指令碼語言。它用於建立動態網頁，同時也支援命令列介面。

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 編寫的模擬器可以執行抽象機的程式。

Fril
Fril 語言是由 Trevor Martin 和 Jim Baldwin 於20世紀80年代在布里斯托大學的時候設計的。它主要面向一階謂詞演算，支援模糊集和超程式設計，基於 Prolog 的語法。

Janus
Janus 支援併發和約束式程式設計。

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位平臺。

Cilk
Cilk 是麻省理工學院實驗室在1994年創建出來的，支援多執行緒並行程式設計。

Concurrent Pascal
美國丹麥裔電腦科學家 Per Brinch Hansen 建立了 Concurrent Pascal，用來編寫作業系統和為實時系統程式設計。

E
它是一種支援分散式程式設計的面向物件程式語言。E 是在1997年由馬克·米勒，丹·博恩斯坦與他們在電氣社群的同事們一起開發出來的，其語法類似於 Java 。

Joule
Joule 出現在 E 程式語言之前，是一種併發資料流程式語言，可用於開發分散式應用程式。

Limbo
在貝爾實驗室開發出來的 Limbo 可用於為分散式系統編寫程式。它的顯著特點就是其編譯器能夠生成獨立於體系結構的目的碼。 Limbo 被用來開發在 Inferno 作業系統上執行的應用程式。最初作為 Plan 9 作業系統一部分的 Alex 就是 Limbo 的前身。

Pict
它是一種靜態型別的程式語言，現在還處在實驗階段。

SALSA
Simple Actor Language System and Architecture（簡單Actor語言系統和架構）的簡稱，SALSA 支援並行程式設計，訊息傳遞和分散式計算。為了具備可移植性，它使用了 Java 程式碼。

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

面向物件程式語言

面向物件程式設計 ( OOP) 是基於“物件”思想的程式設計規範，它包含資料，一般稱為屬性，表現為欄位(field)的形式；還包含程式碼，一般稱為方法，表現為程式的形式。www.hfjy.com在 OOP 中，計算機程式是根據物件與物件之間的互動來設計的。(Wikipedia)

0元試聽課等你來領取，領取課程方法：
1、私信留下您的手機號和姓名，需要補習的科目。
2、也可以在海風教育官網留下您的手機號領取www.hfjy.com

Agora
這是一種基於原型的面向物件程式語言，具有訊息傳遞機制。

BETA
它是一種面向物件的程式語言，其類和過程圍繞相同的概念，而且類被定義為物件的屬性。它具有很強的抽象機制。BETA 還支援巢狀類。

Cecil
這是由 Craig Chambers 在華盛頓大學建立的一種面向物件程式語言。它與 Objective-C 和 Modula-3 非常相似。

Lava
Lava 是一種解釋性的視覺化面向物件程式語言。

Lisaac
這是基於原型概念的首款編譯性面向物件程式語言。它還支援系統程式設計。

MOO
這是一種基於動態型別原型的程式語言，支援面向物件程式設計。它支援異常處理機制和迴圈結構。

Moto
這是開源的伺服器端程式語言，擁有狀態和會話管理物件以及資料庫連線。

Object-Z
這個語言由澳大利亞的 Queensland 大學開發。它擴充套件了 Z 程式語言，為其添加了面向物件的特性。

Obliq
這是一種提供面向物件程式設計特性的解釋性計算機程式語言。它支援無型別變數，被設計用於分散式和多執行緒計算機。

Oxygene
Oxygene 是一種基於 Object Pascal 的面向物件程式語言，擁有豐富的功能集。它以前被稱為 ‘Chrome’。

Pliant
它基於動態編譯器，具有獨特的能力來支援低階指令列表，同時也支援高階表示式。

Prograph
它是視覺化的面嚮物件語言，支援多種樣式，使用符號來表示資料上的操作。

REBOL
REBOL 由 Relative Expression Based Object Language (基於物件的相關表示式語言) 的首字母組成。它被設計用於分散式平臺和網路通訊。

Scala
Scala 名稱表示它是可擴充套件(Scalable)的語言。它是一種多範型程式語言，提供了面向物件及函數語言程式設計能力。

Self
這是基於原型的面向物件程式語言。NewtonScript 在很大程式上受 Self 影響，它用於為 Apple Newton 編寫程式。

Slate
這個面向物件程式語言也是基於原型概念的。它有一些特性來自 Smalltalk 和 Self 語言。Slate 設計出來的目的是為程式設計師提供一個像作業系統的樣的環境。

XOTcl
它是從 Tool Command Language [譯者注：可能叫 Tcl 更容易認出來] 擴充套件而來，支援元類、動態類和方法。

IO
這是純面向物件程式語言，擁有基於原型物件的模型。它體積不大，可以在小型行動式虛擬機器上執行