计较机编程语言可用于将指令传播给计较机。它们基于某些句法和语义规定，界说了编程语言中每种构造的寄义。

　　此刻我得到了一个但凡可以找得到的每种编程语言的列表。我将它们分为以下几类：

　　● 表明型编程语言

　　● 函数式编程语言

　　● 编译型编程语言

　　● 进程式编程语言

　　● 剧本编程语言

　　● 标志编程语言

　　● 基于逻辑的编程语言

　　● 并发编程语言

　　● 面向工具编程语言

　　表明型编程语言

　　表明型语言是这样一种编程语言，其大局部实现直接执行指令，而无需先将顺序编译成呆板语言指令。表明器直接执行顺序，它会将每个语句翻译成已编译成了呆板代码的一个或多个子顺序的序列。

　　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 等各类语言的功用个性。

　　Post

　　它主要在桌面出书范畴中使用，被称为页面描绘语言。它是一种基于仓库的动静编程语言，由美国计较机科学家 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

　　之所以被称为 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 利用。

　　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 两头件计较机一起使用。

　　剧本语言

　　剧本语言是用来管制利用顺序的编程语言。剧本可以独立于其它任何利用顺序执行。它们大都时候嵌入在利用顺序中，用于管制或用于执行频繁执行的自动任务，好比与外部顺序通信的任务。

　　Apple

　　它是 Mac OS 内建的剧本语言。

　　Awk

　　Awk 于上世纪70年代降生于贝尔尝试室。它使用字符串数据范例、数组和正则表白式来处置惩罚数据流和文件中基于文本的数据。

　　BeanShell

　　它是 Java 剧本语言，其语法与 Java 类似，是在 Java 运行情况中运行的剧本号令和语法。

　　ColdFusion

　　它是利用办事器和软件开辟框架，带有一个被称为 ColdFusion Markup Language (ColdFusion 标志语言) 的剧本语言。它被称为 CFML，其语法与 HTML 近似。

　　F-

　　它是一种面向工具的剧本语言，与 Smalltalk 很是靠近，但减少了数组编程的个性。

　　JASS

　　它是一个事件驱动的剧本语言，为顺序提供了普遍的 API。

　　Maya Embedded Language

　　它是 Maya 软件中处置惩罚任务的剧本语言，缩写为 MEL。它的语法近似 Perl。

　　Mondrian

　　这个剧本语言为 Internet 利用而生，它可以看作是 Haskell 和 Java 的联合。

　　PHP

　　PHP 是一种普遍使用的剧本语言。它用于创建动静网页，同时也反对号令行接口。

　　Revolution

　　它是基于 HyperTalk 的快速利用顺序开辟语言。它跨平台，反对动静范例。

　　Tcl

　　它被认为是一种容易进修的剧本语言。它用于嵌入式零碎的快速原型开辟。

　　VB

　　它是微软开辟的 Visual Basic 的变体，很是沉闷。VB 在微软 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)的形式；还包括代码，个别称为办法，表示为顺序的形式。在 OOP 中，计较机顺序是依据工具与工具之间的交互来设计的。

　　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

　　这是基于原型的面向工具编程语言。Newton 在很大顺序上受 Self 影响，它用于为 Apple Newton 编写顺序。

　　Slate

　　这个面向工具编程语言也是基于原型观点的。它有一些个性来自 Smalltalk 和 Self 语言。Slate 设计出来的目的是为顺序员提供一个像操纵零碎的样的情况。

　　XOTcl

　　它是从 Tool Command Language [译者注：能够叫 Tcl 更容易认出来] 扩展而来，反对元类、动静类和办法。

　　IO

　　这是纯面向工具编程语言，拥有基于原型工具的模子。它体积不大，可以在小型便携式虚拟机上运行。

　　摘自开源中国，译者leoxu, Viyi, Tocy, 边城, 无若

　　英文原文：A Complete List of Computer Programming Languages

　　译文链接：https://www.oschina.net/translate/a-complete-list-of-computer-programming-languages?lang=chs&page=4#