这可能是最全的计算机编程语言列表了

计算机编程语言可用于将指令传达给计算机。它们基于某些句法和语义规则，定义了编程语言中每种结构的含义。现在小编将它们分为解释型编程语言、函数式编程语言、编译型编程语言、过程式编程语言、脚本编程语言、标记编程语言、基于逻辑的编程语言、并发编程语言、面向对象编程语言。

解释型编程语言

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

APL-它是一种数组编程语言。它可以在多个数据阵列上同时工作。 它是一种解释型、可交互和函数式的编程语言。

AutoIt-它是自由软件，是一种用于 Microsoft Windows 的自动化语言。 主要目的是创建可用于在 Windows 上执行某些重复任务的自动化脚本。

BASIC-它是初学者多用符号指令代码（Beginner’s All-purpose Symbolic Instruction Code）的缩写。它的目的是为非科学人士提供一个使用电脑的途径。

Eiffel-它是一种被 ISO 标准化了的面向对象编程语言，用于开发可扩展和可重复使用的软件。它是一个可面向许多行业的开发平台，如金融、航空航天和视频游戏。

Forth-它是一种结构化的命令式编程语言，其实现基于堆栈。它支持交互式的命令执行以及对命令序列的编译。

Frink-它基于 Java 虚拟机，专注于科学和工程领域。其突出特点是能通过所有的能让数量包含其测量单位的计算，来对测量单位进行跟踪。

Game Maker 语言

它是一种解释型的计算机编程语言，旨在与 Game Maker 配合使用—— Game Maker 是一种游戏制作应用程序。

ICI-它是一种通用的解释型计算机编程语言。它支持动态输入，灵活的数据类型以及其它的一些类似于 C 的语言结构。

J-它是一种数组编程语言，适用于数学和统计操作。

Lisp-是如今正在被广泛使用的第二古老的高级编程语言。其名称 Lisp 派生自“列表处理语言（List Processing Language）”。Lisp 支持的重要数据结构之一是链表。 Lisp 程序会将源代码当做是数据结构。

Lua-它被设计成为脚本语言，是一种不可获取的过程式编程语言，以简单而强大而闻名。

Pascal-它是一种过程式编程语言，旨在利用上数据结构化和结构化编程的概念。

Pcastl-它是 Parent and Childset Accessible Syntax Tree Language（可访问父和子集语法树语言）的缩写，属于解释型的计算机编程语言类型。 它是专门为自修改代码而设计的。

Perl-是一种支持动态编程的高级解释型编程语言。它为程序员提供了文本处理的能力，并融合了 C、Lisp 还有 Awk 等各种语言的功能特性。

PostScript-它主要在桌面出版领域中使用，被称为页面描述语言。它是一种基于堆栈的动态编程语言。

Python-它是一种支持强制命令，面向对象和函数式编程样式的高级编程语言。它与 Perl 在动态类型系统和自动内存管理方面有相似之处。

REXX-Restructured Extended Executor（重构扩展执行器）的简称，它是由 IBM 开发的解释型语言。它被设计出来的目的是成为一种易于学习和阅读的语言。 NetRexx 是 IBM 提供的基于 REXX 的面向对象编程实现。Object REXX 是基于 REXX 的面向对象脚本语言。

Spin-是一种多任务且面向对象的编程语言，其编译器会将代码转换为字节码。多个 Spin 代码线程可以在同时运行，从而实现多任务处理。Spin 是由 Parallax 的 Chip Gracey 开发出来的。

函数式编程语言

函数式编程语言定义每次的计算作为数学求值。它们把焦点集中在函数的应用。大量的函数编程语言被绑定在数学计算上。
Charity-它是一种纯净的函数式，非图灵完备语言，这意味着所有的程序都可以被保证能终止。

Clean-它是一种纯净的函数式编程语言，拥有跨平台能力，自动垃圾收集机制，多数据结构和引用透明性，这些能力意味着一个函数，只要给它一个输入将总是会有一个输出。

Curry-它是一种函数逻辑编程语言，实现了函数式与逻辑编程，还有约束式编程。在约束式编程方法中，变量之间的关系是以约束的形式表示的。

Erlang-它是一种并发编程语言，包含了一系列支持函数式编程的子集。爱立信将 Erlang 作为一种分布式软实时与容错语言来进行开发，并于1998年将其作为一种开放源代码的计算机编程语言发布，是最常用的函数式编程语言之一。

Joy-它是一种基于函数组合的纯函数式语言。

Kite-它于2006年推出，带有一个由面向对象和函数式编程功能特性混合组成的功能集合。这是一种可快速运行的语言。有趣的是，Kite 使用管道字符来进行函数式调用，而不像使用其他语言那样使用点或者箭头字符。

Nemerle-它是专为 .NET 平台设计的一种静态类型编程语言。 Nemerle 中的程序会被编译成中间语言字节码。它支持函数式，命令式以及面向对象编程。

OPS5-它是一种基于规则的生产系统计算机语言，已经成为在专业系统中使用的首选语言。

编译型编程语言

编译型语言是典型的通过编译器(将源代码生成机器码的翻译工具)而不是解释器(一步步执行源码，不会在运行前发生转换)实现的编程语言。

Ada-它是一种基于 Pascal 的静态类型、结构化、命令式的编程语言。Ada 编译器由关键任务系统验证，它是符合国际标准的计算机编程语言。

ALGOL-它的名称就表明了它是一种算法语言。实际上它是在20世纪50年代中期开发出来的一系列命令式编程语言。它被证明可用于创建像 BCPL、B 和 C 这样的编程语言。

C-贝尔电脑实验室的 Dennis Ritchie 开发了 C 用于 Unix 平台。它是通用、跨平台、过程化、命令式的编程语言。它用于实现系统软件和应用软件，是当今使用广泛的计算机编程语言之一。C++ 和 C# 都是基于 C 发展而来。

C++-它由高级语言和低级语言相结合，因此被认为是一个中级编程语言。贝尔实验室的 Bjarne Stoustrup 开发了 C++，把它作为 C 语言的扩展。它最初被称为“含有类的C”，直到 1983 年才被称为 C++。它是一种支持过程化编程、泛型编程、面向对象编程和数据抽象的多样化语言。

C#-它也是一种多样化语言，支持命令式、泛型和面向对象编程。它是 Microsoft .NET 框架的一部分。它的面向对象语法与 C++ 相似。它还受到 Java 和 Delphi 的影响。

Cobra-它是一个运行于 .NET 框架和 Mono 框架的面向对象编程语言，它的设计受 Python 和 C# 的影响。它支持静态和动态类型，适用于单元测试。现在它是一个开源项目。

D-它最初被设计为 C++ 的增强，受 Java、Eiffel 和 C# 的影响。它是面向对象、命令式、多样化的系统编程语言。

Java-它是通用计算机编程语言，并发，基于类，面向对象并专门针对尽可能少的依赖来进行设计。编译后的 Java 代码可以不需要再次编译就运行于各种支持 Java 的平台。是现代非常流行的语言。  

Turing-它的名字是为了纪念英国计算机科学家 Alan Turing(艾兰·图灵)。它很像 Pascal，从 2007 年开始免费。

Visual Basic-这是一个事件驱动的编程语言，通过集成开发环境打包。它从 BASIC 继承了很多特性。它的图形化开发特性使初学者学习起来非常容易。

Visual FoxPro-它是面向对象和过程化编程语言，来源于 FoxPro。它自身集成了关系型数据库系统，不再需要额外的编程环境。它支持动态编程。

过程式编程语言

过程式（命令式）编程 意味着需指定程序应该达到预期状态的步骤。过程是可以通过过程调用引用的一组语句。 过程有助于代码中庸。 过程式编程使程序结构化，易于追踪程序流程。
Bliss-它是一种系统编程语言，是在 C 语言出现之前最知名的语言之一。它包括异常处理机制、协程和宏，但并不包括 goto 语句。

ChucK-它是可以在 Mac OS X、Linux 以及 Microsoft Windows 上运行的并发和强音频定时的编程语言。 它特别以其为程序员提供在运行程序中做一些修改的能力而著称。

CLIST-它是一种使用命令集合的形式表示的过程式编程语言，这些命令集合需要像批处理文件一样顺序执行。

HyperTalk-它是一种高级编程语言，旨在给程序员的初学者使用。 这种计算机语言的程序员被称为作者，编写程序的行为被称为脚本，结构上类似于 Pascal 。

MATLAB-它是一种数值计算环境和一种能够进行矩阵计算、功能绘图和算法实现的编程语言。 它也可以用于创建用户界面。 MathWorks 创建了 MATLAB 。

Occam-它类似于 Pascal 。Occam-pi 是 Occam 的一种变体，已经扩展到包括嵌套协议、递归、协议继承、数组构造函数和运行时进程创建。

脚本语言

脚本语言是用来控制应用程序的编程语言。脚本可以独立于其它任何应用程序执行。它们多数时候嵌入在应用程序中，用于控制或用于执行频繁执行的自动任务，比如与外部程序通信的任务。
AppleScript-它是 Mac OS 内建的脚本语言。

Awk-它使用字符串数据类型、数组和正则表达式来处理数据流和文件中基于文本的数据。

BeanShell-它是 Java 脚本语言，其语法与 Java 相似，是在 Java 运行环境中运行的脚本命令和语法。

ColdFusion-它是应用服务器和软件开发框架，带有一个被称为 ColdFusion Markup Language (ColdFusion 标记语言) 的脚本语言。它被称为 CFML，其语法与 HTML 类似。

F-Script-它是一种面向对象的脚本语言，与 Smalltalk 非常接近，但增加了数组编程的特性。

PHP-它是一种普遍使用的脚本语言。它用于创建动态网页，同时也支持命令行接口。

Revolution-它是基于 HyperTalk 的快速应用程序开发语言。它跨平台，支持动态类型。

Tcl-它被认为是一种容易学习的脚本语言。它用于嵌入式系统的快速原型开发。

VBScript-它是微软开发的 Visual Basic 的变体，非常活跃。VBScript 在微软 Windows 桌面系统中都作为默认组件存在。

Windows PowerShell-它是微软的命令行 shell 和脚本语言，可用于 Windows XP、Windows Vista 以及 Windows Server 2003 和 Windows Server 2008。它与 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-它主要面向一阶谓词演算，支持模糊集和元编程，基于 Prolog 的语法。

Leda-这种计算机编程语言是基于逻辑的，函数式，命令式和面向对象编程的混合体。因此，它是一种多范式语言。

Oz-它是一种多范式语言，支持函数式，基于逻辑的，命令式和面向对象编程。 Oz 还支持并发和分布式编程。支持约束式编程是 Oz 语言的优点之一。

Poplog-它是一个强大的多范式软件开发环境，其核心语言是 POP-11 。该开发环境的所有语言共享一个共同的语言编辑器，并且是增量编译的编程语言。

Prolog-它是一种支持逻辑编程的通用编程语言，通常可以连系到人工智能和计算语言学。语言是声明式的，程序逻辑则以关系的形式来表达。 Mercury 是基于 Prolog 的函数式逻辑编程语言。Strawberry Prolog 是 Prolog 的一种方言，被设计得易于使用。 Visual Prolog 是支持面向对象编程的 Prolog 强类型扩展。它是一种基于逻辑的编译型编程语言。

ROOP-它是一种基于 C++ 的多范式语言，推出目的是在与人工智能系统一起使用。其功能融合了函数式、逻辑和面向对象编程。

并发编程语言

并发编程是一种计算机编程技术，可以让操作并行执行，在单计算机或者跨越多台计算机上都可以实现，而在后一种情况下，使用术语分布式计算。
ABCL-它是基于 Actor 的并行语言（Actor-Based Concurrent Language）的一个语言系列，ABCL/1、ABCL/R 以及 ABCL/R2 就是 ABCL 系列的一些成员。

Afnix-它是一种多线程函数式编程语言。它的解释器是用 C++ 编写的。 其运行时引擎支持32位和64位平台。

E-它是一种支持分布式编程的面向对象编程语言，其语法类似于 Java 。

Joule-它出现在 E 编程语言之前，是一种并发数据流编程语言，可用于开发分布式应用程序。

Limbo-在贝尔实验室开发出来的 Limbo 可用于为分布式系统编写程序。它的显着特点就是其编译器能够生成独立于体系结构的目标代码。 Limbo 被用来开发在 Inferno 操作系统上运行的应用程序。最初作为 Plan 9 操作系统一部分的 Alex 就是 Limbo 的前身。

SALSA-Simple Actor Language System and Architecture（简单Actor语言系统和架构）的简称，SALSA 支持并行编程，消息传递和分布式计算。为了具备可移植性，它使用了 Java 代码。

面向对象编程语言

面向对象编程 ( OOP) 是基于“对象”思想的编程规范，它包含数据，一般称为属性，表现为字段(field)的形式；还包含代码，一般称为方法，表现为程序的形式。在 OOP 中，计算机程序是根据对象与对象之间的交互来设计的。
BETA-它是一种面向对象的编程语言，其类和过程围绕相同的概念，而且类被定义为对象的属性。它具有很强的抽象机制。BETA 还支持嵌套类。

Lisaac-这是基于原型概念的首款编译性面向对象编程语言。它还支持系统编程。

MOO-这是一种基于动态类型原型的编程语言，支持面向对象编程。它支持异常处理机制和循环结构。

Obliq-这是一种提供面向对象编程特性的解释性计算机编程语言。它支持无类型变量，被设计用于分布式和多线程计算机。

Slate-这个面向对象编程语言也是基于原型概念的。它有一些特性来自 Smalltalk 和 Self 语言。Slate 设计出来的目的是为程序员提供一个像操作系统的样的环境。

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