随着计算机技术的不断发展,各种各样的编程语言层出不穷,有的语言大红大紫有的语言寂寂无名。这里就梳理一下那些出现过的编程语言,可能不一定都用得到,长长见识就行。当别人说起来的时候至少听说过,不会一脸懵逼。

编程语言会根据编程范式、应用的平台、应用的场景三个维度进行分类,方便大家理解的记忆。

编程范式

依据编程范式编程语言分过程式、面向对象、多范式、函数式、逻辑式。

过程式编程语言

Fortran

FORTRAN语言是Formula Translation的缩写，意为“公式翻译”。它是为科学、工程问题或企事业管理中的那些能够用数学公式表达的问题而设计的，其数值计算的功能较强。

FORTRAN语言是世界上第一个被正式推广使用的高级语言。它是1954年被提出来的，1956年开始正式使用，直到2021年已有六十年的历史，但仍历久不衰，它始终是数值计算领域所使用的主要语言。

COBOL

COBOL语言，是一种面向过程的高级程序设计语言，主要用于数据处理，是国际上应用最广泛的一种高级语言。COBOL是英文Common Business-Oriented Language的缩写,原意是面向商业的通用语言。它采用 300多个英语单词作为保留字，以一种接近于英语书面语言的形式来描述数据特性和数据处理过程,因而便于理解和学习。COBOL语言是专门为企业管理而设计的高级语言，可用于统计报表、财务会计、计划编制、作业调度、情报检索和人事管理等方面.

BASIC

BASIC(Beginners' All-purpose Symbolic Instruction Code，又译培基)，意思就是“初学者通用符号指令代码”，是一种设计给初学者使用的程序设计语言。BASIC是一种直译式的编程语言，在完成编写后不须经由编译及连结等手续即可执行，但如果需要单独执行时仍然需要将其建立成执行档。

ALGOL

ALGOL是算法语言ALGOrithmic Language的简称，是在计算机发展史上首批清晰定义的高级语言，由欧美计算机学家合力所组成的联席大会于仍是晶体管计算机流行的1950年代所开发。国际计算机学会(ACM)将ALGOL模式列为算法描述的标准，启发ALGOL类现代语言Pascal、Ada、C语言等出现。由于ALGOL语句和普通语言表达式接近，更适于数值计算，所以ALGOL多用于科学计算机.

Forth

Forth是六十年代末期，由Charles H. Moore发展出来在天文台使用的电脑自动控制系统及程序设计语言，允许使用者很容易组合系统已有的简单指令，定义成为功能较复杂的高阶指令。由于其结构精简、执行快速、操作方便，广为当代天文学界使用。八十年代以后，有爱用者成立Forth Interest Group在世界各地推广，并陆续在各类计算机上建立Forth系统及标准的语言。

pascal

Pascal的名称是为了纪念十七世纪法国著名哲学家和数学家Blaise Pascal而来的，它由瑞士Niklaus Wirth教授于六十年代末设计并创立的。Pascal语言语法严谨，层次分明，程序易写，可读性强，是第一个结构化编程语言。Pascal语言广泛用于各种软件，程序分为名称program后自拟、设置var后规定、开始begin)、程序正文、读取read/read ln、结束end，结构层次强，严谨而又紧密。

C语言

C语言是一门面向过程的、抽象化的通用程序设计语言，广泛应用于底层开发。C语言能以简易的方式编译、处理低级存储器。C语言是仅产生少量的机器语言以及不需要任何运行环境支持便能运行的高效率程序设计语言。尽管C语言提供了许多低级处理的功能，但仍然保持着跨平台的特性，以一个标准规格写出的C语言程序可在包括类似嵌入式处理器以及超级计算机等作业平台的许多计算机平台上进行编译。

Modula-2

Modula-2编程语言是由杜林奖(TuringAward)得奖者NiklausWirth所提出。

Modula-2之名称的命名是根据其3个编译单元的模组而来，这些模组分别为程式模组(ProgramModule)，定义模组(DefinitionModule)及执行模组(ImplementationModule)。

Ada

Ada，是一种程序设计语言。源于美国军方的一个计划，旨在整合美军事系统中运行着上百种不同的程序设计语言。其命名是为了纪念世界上第一位程序员阿达·洛芙莱斯。Ada不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。同时，Ada语言的使用可大大改善软件系统的清晰性、可靠性、有效性、可维护性。Ada是现有的语言中无与伦比的一种大型通用程序设计语言，它是现代计算机语言的成功代表，集中反映了程序语言研究的成果。Ada的出现，标志着软件工程成功地进入了国家和国际的规模。在一定意义上说，Ada打破了约翰·冯·诺依曼思维模式的桎梏，连同Ada的支持环境APSE一起，形成了新一派的Ada文化。它是迄今为止最复杂、最完备的软件工具。Ada曾是美国国防部指定唯一可用于军用系统开发的语言。

occam

Occam语言是根据C．A．R．Hoare提出的CSP(Communicating Sequential Process)语言模型而设计的一种并发程序设计语言，0ccam语言是用14世纪英国牛津哲学家William of occam的名字命名的。William of occam有这样一种哲学观点：任何问题，用最简单的方法能解决的途径是最好的途径。简明性是Occam语言的特点。

Oberon

Oberon是一种通用编程语言，最初由尼克劳斯·维尔特在1987年推出，是Wirth式的类ALGOL语言中的最后一员继Euler、ALGOL W、Pascal、Modula和Modula-2之后。Oberon是增进Pascal的直接后继者Modula-2的能力，并减少其复杂度的集中努力的结果。它的原理性新特征是记录类型的类型扩展的概念。它允许新数据类型构造在现存数据类型之上并关联于它们，脱离了严格的静态类型数据的教条。Oberon是在瑞士的苏黎世联邦理工学院作为Oberon操作系统实现的一部分而开发的。这个名字来自天王星的卫星奥伯隆。

Go

Go又称 Golang是 Google 的 Robert Griesemer，Rob Pike 及 Ken Thompson 开发的一种静态强类型、编译型语言。Go 语言语法与 C 相近，但功能上有：内存安全，GC垃圾回收，结构形态及 CSP-style 并发计算。

面向对象的编程语言

simula

1967年5月20日，在挪威奥斯陆郊外的小镇莉沙布举行的IFIP TC-2 工作会议上，挪威科学家Ole-Johan Dahl和Kristen Nygaard正式发布了Simula 67语言。Simula 67被认为是最早的面向对象程序设计语言，它引入了所有后来面向对象程序设计语言所遵循的基础概念：对象、类、继承。之后，在1968年2月形成了Simula 67的正式文本.

Smalltalk

Smalltalk，被公认为历史上第二个面向对象的程序设计语言，和第一个真正的集成开发环境(IDE)。Smalltalk由艾伦·凯，Dan Ingalls，Ted Kaehler，Adele Goldberg等于70年代初在Xerox PARC开发。

Smalltalk对其它众多的程序设计语言的产生起到了极大的推动作用，主要有：C++，C#，Objective-C，Actor，Java和Ruby等。90年代的许多软件开发思想得利于Smalltalk，例如设计模式、敏捷编程和代码重构等。

CLU

CLU是一门编程语言，其首先是由麻省理工学院(MIT)的Barbara Liskov和他的学生们于1974到1975年间推出的。CLU因其使用抽象数据类型的构造函数而被人注意，并且还包括操作的代码，更为关键的是它是具有面向对象方向的一门语言。但是许多的面向对象的方法CLU却没有，如继承。CLU也因此被称为“基于对象”(Object-based)的语言，而非“面向对象编程”(OOP)的语言。

C++

C++是C语言的继承，它既可以进行C语言的过程化程序设计，又可以进行以抽象数据类型为特点的基于对象的程序设计，还可以进行以继承和多态为特点的面向对象的程序设计。C++擅长面向对象程序设计的同时，还可以进行基于过程的程序设计，因而C++就适应的问题规模而论，大小由之。

C++不仅拥有计算机高效运行的实用性特征，同时还致力于提高大规模程序的编程质量与程序设计语言的问题描述能力。

Objective-C

Objective-C，通常写作ObjC或OC和较少用的Objective C或Obj-C，是扩充C的面向对象编程语言。它主要使用于Mac OS X和GNUstep这两个使用OpenStep标准的系统，而在NeXTSTEP和OpenStep中它更是基本语言。GCC与Clang含Objective-C的编译器，Objective-C可以在GCC以及Clang运作的系统上编译

Eiffel

Eiffel语言是继Smalltalk-80之后的另一个“纯”OOPL。这种语言是由OOP领域中著名的专家Bertrand Meyer等人20世纪80年代后期在ISE公司(Interactive Software Engineering Inc.)开发的，它的主要特点是全面的静态类型化、有大量的开发工具、支持多继承。

Self

Self语言，是一种基于原型的面向对象的程序设计语言，于1986年由施乐帕洛阿尔托研究中心的David Ungar和Randy Smith给出了最初的设计。Self语言是在Smalltalk的基础上发展而来，沿用了Smalltalk中一切都是对象的风格。在实现Self系统的过程中，设计研究人员发展出了一种动态自适应编译技术。Self同Smalltalk一样既是一个编程语言，也是一个集成开发环境和运行环境。

CLOS

Common Lisp对象系统CLOS是一种面向对象编程设施，它是ANSI Common Lisp的一部分。CLOS是强力的动态对象系统，在根本上不同于静态语言比如C++或Java中的那种OOP设施。CLOS受到更早期的Lisp对象系统比如MIT Flavors和CommonLoops的启发，然而它比二者要更加泛化。最初被提议作为一种附加件，CLOS被接受为ANSI标准Common Lisp的一部分，并且已经被适配入其他Lisp方言比如EuLisp和Emacs Lisp之中

Visual Basic

Visual Basic(简称VB)是Microsoft公司开发的一种通用的基于对象的程序设计语言，为结构化的、模块化的、面向对象的、包含协助开发环境的事件驱动为机制的可视化程序设计语言。是一种可用于微软自家产品开发的语言。

“Visual” 指的是开发图形用户界面 (GUI) 的方法——不需编写大量代码去描述界面元素的外观和位置，而只要把预先建立的对象add到屏幕上的一点即可。 “Basic”指的是 BASIC (Beginners All-Purpose Symbolic Instruction Code) 语言，是一种在计算技术发展历史上应用得最为广泛的语言。

Java

Java是一门面向对象编程语言，不仅吸收了C++语言的各种优点，还摒弃了C++里难以理解的多继承、指针等概念，因此Java语言具有功能强大和简单易用两个特征。Java语言作为静态面向对象编程语言的代表，极好地实现了面向对象理论，允许程序员以优雅的思维方式进行复杂的编程 。

Java具有简单性、面向对象、分布式、健壮性、安全性、平台独立与可移植性、多线程、动态性等特点 。Java可以编写桌面应用程序、Web应用程序、分布式系统和嵌入式系统应用程序等 。

C#

C#是微软公司发布的一种由C和C++衍生出来的面向对象的编程语言、运行于.NET Framework和.NET Core(完全开源，跨平台)之上的高级程序设计语言。并定于在微软职业开发者论坛(PDC)上登台亮相。C#是微软公司研究员Anders Hejlsberg的最新成果。C#看起来与Java有着惊人的相似；它包括了诸如单一继承、接口、与Java几乎同样的语法和编译成中间代码再运行的过程。但是C#与Java有着明显的不同，它借鉴了Delphi的一个特点，与COM（组件对象模型）是直接集成的，而且它是微软公司 .NET windows网络框架的主角。C#综合了VB简单的可视化操作和C++的高运行效率，以其强大的操作能力、优雅的语法风格、创新的语言特性和便捷的面向组件编程的支持成为.NET开发的首选语言。

多范式编程语言

Dylan

Dylan是多范型的编程语言，包括了支持函数式和面向对象编程(OOP)，它是动态和反射式的，却提供了设计用于支持生成高效机器代码的编程模型，包括了在动态和静态行为上的细粒度的控制。它是在1990年代早期由苹果公司领导的群组创造的。

Python

Python由荷兰数学和计算机科学研究学会的Guido van Rossum 于1990 年代初设计，作为一门叫做ABC语言的替代品。Python提供了高效的高级数据结构，还能简单有效地面向对象编程。Python语法和动态类型，以及解释型语言的本质，使它成为多数平台上写脚本和快速开发应用的编程语言,随着版本的不断更新和语言新功能的添加，逐渐被用于独立的、大型项目的开发。

Python解释器易于扩展，可以使用C或C++(或者其他可以通过C调用的语言)扩展新的功能和数据类型。Python 也可用于可定制化软件中的扩展程序语言。Python丰富的标准库，提供了适用于各个主要系统平台的源码或机器码。

2021年10月，语言流行指数的编译器Tiobe将Python加冕为最受欢迎的编程语言，20年来首次将其置于Java、C和JavaScript之上.

Lua

Lua是一个小巧的脚本语言。它是巴西里约热内卢天主教大学Pontifical Catholic University of Rio de Janeiro里的一个由Roberto Ierusalimschy、Waldemar Celes 和 Luiz Henrique de Figueiredo三人所组成的研究小组于1993年开发的。 其设计目的是为了通过灵活嵌入应用程序中从而为应用程序提供灵活的扩展和定制功能。Lua由标准C编写而成，几乎在所有操作系统和平台上都可以编译，运行。Lua并没有提供强大的库，这是由它的定位决定的。所以Lua不适合作为开发独立应用程序的语言。Lua有一个同时进行的JIT项目，提供在特定平台上的即时编译功能。

Lua脚本可以很容易的被C/C++代码调用，也可以反过来调用C/C++的函数，这使得Lua在应用程序中可以被广泛应用。不仅仅作为扩展脚本，也可以作为普通的配置文件，代替XML,ini等文件格式，并且更容易理解和维护Lua由标准C编写而成，代码简洁优美，几乎在所有操作系统和平台上都可以编译，运行。 一个完整的Lua解释器不过200k，在所有脚本引擎中，Lua的速度是最快的。这一切都决定了Lua是作为嵌入式脚本的最佳选择。

JavaScript

JavaScript简称“JS” 是一种具有函数优先的轻量级，解释型或即时编译型的编程语言。虽然它是作为开发Web页面的脚本语言而出名，但是它也被用到了很多非浏览器环境中，JavaScript 基于原型编程、多范式的动态脚本语言，并且支持面向对象、命令式、声明式、函数式编程范式。

JavaScript在1995年由Netscape公司的Brendan Eich，在网景导航者浏览器上首次设计实现而成。因为Netscape与Sun合作，Netscape管理层希望它外观看起来像Java，因此取名为JavaScript。但实际上它的语法风格与Self及Scheme较为接近。

JavaScript的标准是ECMAScript 。截至 2012 年，所有浏览器都完整的支持ECMAScript 5.1，旧版本的浏览器至少支持ECMAScript 3 标准。2015年6月17日，ECMA国际组织发布了ECMAScript的第六版，该版本正式名称为 ECMAScript 2015，但通常被称为ECMAScript 6 或者ES2015。

Ruby

Ruby，一种简单快捷的面向对象(面向对象程序设计)脚本语言，在20世纪90年代由日本人松本行弘(Yukihiro Matsumoto)开发，遵守GPL协议和Ruby License。它的灵感与特性来自于 Perl、Smalltalk、Eiffel、Ada以及 Lisp 语言。由 Ruby 语言本身还发展出了JRuby(Java平台)、IronRuby(.NET平台)等其他平台的 Ruby 语言替代品。Ruby的作者于1993年2月24日开始编写Ruby，直至1995年12月才正式公开发布于fj(新闻组)。因为Perl发音与6月诞生石pearl(珍珠)相同，因此Ruby以7月诞生石ruby(红宝石)命名。

Rebol

REBOL是针对互联网通讯设计的。REBOL是一种高级解释语言允许你访问和控制互联网的资源，而且他的便捷让你可以开始考虑把互联网当成你的个人操作系统。

D语言

D语言是一种编程语言，具备多范型，例如面向对象、指令式。由沃尔特·布莱特和安德烈·亚历山德雷斯库所开发，起源自C++，深受C++的影响，然而其不是C++的变种，而是重新设计来自C++的部分特性，并受到其它编程语言观念的影响，如Java、C#以及Eiffel。2007年1月2日发布1.0稳定版本。版本2.0发布于2007年1月17日

Factor

Factor是Slava Pestov创建的面向堆栈编程语言。Factor是动态类型的并拥有自动内存管理，还有强力的元编程特征。语言有一个单一的实现，特征包括自宿主的优化编译器和一个集成开发环境。Factor发行包括一个大型的标准库。

Scala

Scala 是一门多范式(multi-paradigm)的编程语言，设计初衷是要集成面向对象编程和函数式编程的各种特性。Scala 运行在 Java 虚拟机上，并兼容现有的 Java 程序。Scala 源代码被编译成 Java 字节码，所以它可以运行于 JVM 之上，并可以调用现有的 Java 类库。

F#

F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言。它是基于Ocaml的，而Ocaml是基于ML函数程序设计语言的。 这是一个用于显示·NET在不同编程语言间互通的程序设计。

Haxe

Haxe是一种多用途的开源高级编程语言，在其官方网站上称其为 "universal language"

Nim

Nim是一个指令式、通用、多范式、静态类型、编译型的编程语言，由Andreas Rumpf设计和开发，设计目标是高效、富有表现力以及优雅。Nim支持元编程、函数式、消息传递、过程式以及面向对象编程。

Rust

Rust 语言是一种高效、可靠的通用高级语言。其高效不仅限于开发效率，它的执行效率也是令人称赞的，是一种少有的兼顾开发效率和执行效率的语言。Rust 语言由 Mozilla 开发，最早发布于 2014 年 9 月。Rust 的编译器是在 MIT License 和 Apache License 2.0 双重协议声明下的免费开源软

Dart

Dart是谷歌开发的计算机编程语言，后来被Ecma (ECMA-408)认定为标准 。它被用于web、服务器、移动应用和物联网等领域的开发。它是宽松开源许可证修改的BSD证书下的开源软件。Dart是面向对象的、类定义的、单继承的语言。它的语法类似C语言，可以转译为JavaScript，支持接口(interfaces)、混入(mixins)、抽象类(abstract classes)、具体化泛型(reified generics)、可选类型(optional typing)和sound type system 。

Julia

Julia 是一个面向科学计算的高性能动态高级程序设计语言。其语法与其他科学计算语言相似。在许多情况下拥有能与编译型语言相媲美的性能。Julia 是个灵活的动态语言，适合科学和数值计算，性能可与传统静态类型语言媲美。

Swift

Swift，苹果于2014年WWDC苹果开发者大会发布的新开发语言，可与Objective-C共同运行于macOS和iOS平台，用于搭建基于苹果平台的应用程序。Swift是一款易学易用的编程语言，而且它还是第一套具有与脚本语言同样的表现力和趣味性的系统编程语言。Swift的设计以安全为出发点，以避免各种常见的编程错误类别。2015年12月4日，苹果公司宣布其Swift编程语言开放源代码。长600多页的The Swift Programming Language 可以在线免费下载。

函数式语言

LISP

LISP是一种通用高级计算机程序语言，长期以来垄断人工智能领域的应用。LISP作为应用人工智能而设计的语言，是第一个声明式系内函数式程序设计语言，有别于命令式系内过程式的C、Fortran和面向对象的Java、C#等结构化程序设计语言。

LISP名称源自列表处理（LISt Processing）的英语缩写，由来自麻省理工学院的人工智能研究先驱约翰·麦卡锡（John McCarthy）在1958年基于λ演算所创造，采用抽象数据列表与递归作符号演算来衍生人工智能。

Logo

LOGO是由一名叫佩伯特的心理学家在从事儿童学习的研究中，发现一些与他的想法相反的教学方法，并在一个假日中出外散步时，偶然间看到一个像海龟的机械装置触发灵感，于是利用他广博的知识及聪明的才智而设计的一种适合儿童学习计算机编程的一种语言。

ML

ML(Meta Language)：元语言，是一个函数式、指令式的通用的编程语言，它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式的类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。ML提供了对函数实际参数的模式匹配、垃圾回收、指令式编程、传值调用和柯里化。它被大量的用于编程语言研究之中，并且是全面规定了的和使用形式语义验证了的少数语言之一。它的类型和模式匹配使得它非常适合并且经常用于在其他形式语言上进行操作，比如在编译器构造、自动化定理证明和形式验证中。

Miranda

Miranda，是一种惰性求值的纯函数式编程语言，由英国学者大卫·特纳所设计。采用来自ML与Hope语言的概念，他用此来作为他先前所设计的SASL与KRC语言的后继者[1]。这个编程语言由英国的研究软件公司出品，这间公司拥有这个编程语言的商标权Miranda在1985年首次发表以C语言写成的直译器，能够在类UNIX系统上运作。随后在1987年与1989年发行了更新版。Miranda强烈的影响了后来发展出的Haskell语言。

Erlang

Erlang是一种通用的面向并发的编程语言，它由瑞典电信设备制造商爱立信所辖的CS-Lab开发，目的是创造一种可以应对大规模并发活动的编程语言和运行环境。Erlang问世于1987年，经过十年的发展，于1998年发布开源版本。Erlang是运行于虚拟机的解释性语言，但是也包含有乌普萨拉大学高性能Erlang计划(HiPE)开发的本地代码编译器，自R11B-4版本开始，Erlang也开始支持脚本式解释器。在编程范型上，Erlang属于多重范型编程语言，涵盖函数式、并发式及分布式。顺序执行的Erlang是一个及早求值,单次赋值和动态类型的函数式编程语言。

Haskell

Haskell是一种标准化的，通用的纯函数编程语言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家哈斯凯尔·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是第一类对象”。作为一门函数编程语言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母“λ”(Lambda)作为自己的标志。Haskell具有“证明即程序、命题为类型”的特征。

SAC

SAC（Single Assignment C）是一门严格的纯函数式编程语言，以满足数值计算领域的需求为主要目的。怎样实现对多维数组的高效计算是SAC的核心部分。效率在程序设计领域可以有两方面的理解。一方面是提供高级的数组运算操作，以加快开发程序，另一方面是在某种模式下优化编译程序，以减少其所需的运行时间和存储容量。作为一门成功的计算机语言，必须满足第二个条件。为了能够编译出高效的可执行代码，某些对数值计算不重要的函数式语言的特征（到目前为止）还不被SAC支持，比如高阶函数，多态，以及惰性求值。而像Haskell、Clean、Miranda或者ML却拥有这些特征。

Common Lisp

Common Lisp，缩写为 CL(不要和缩写同为CL的组合逻辑混淆)，是Lisp的众多方言之一，与Scheme合称现代两大Lisp方言，标准由ANSI X3.226-1994定义。它是为了标准化此前众多的Lisp分支而开发的，导致其语言规范和标准长达千页。要注意，它本身并不是一个具体的实现，而是各个Lisp实现所遵循的规范。它操作的数据是动态数据类型，但也可用类型声明来提高效率和增强安全性。

逻辑式

Prolog

Prolog(Programming in logic)是一种面向演绎推理的逻辑型程序设计语言，最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。

Datalog

Datalog是一种数据查询语言，专门设计与大型关系数据库交互，语法与Prolog相似。正如SQL只是一个规范，Transact-SQL、PL-SQL是其具体实现一样；Datalog也是一个规范，bddbddb、 DES、OverLog、Deals等都按照Datalog的语法实现了自己的语言，所以Datalog没有特定的执行环境（如Java之于Java虚拟机，Prolog之于SWI-Prolog）。

Mercury

Mercury ，是一种新的逻辑/功能的编程语言，它结合了清晰的表现力和声明性编程与先进的静态分析和错误检测功能。

它提供了高度优化算法的执行效率远远超过现有的逻辑编程系统，并接近传统的编程系统。水星地址大型项目的开发，使模块化，分别汇编，以及众多的优化/时间权衡的问题。

特定平台的语言

很多语言是基于某个技术框架的,常见的语言框架由.NET和JVM

基于.NET框架的语言

C#

F#

Visual Basic

基于JVM框架的语言

Java

Scala

Clojure

Clojure是一种运行在Java平台上的 Lisp 语言，Lisp是一种以表达性和功能强大著称的编程语言，但人们通常认为它不太适合应用于一般情况，而Clojure的出现彻底改变了这一现状。如今，在任何具备 Java 虚拟机的地方，您都可以利用 Lisp 的强大功能。

JRuby

JRuby，一个采用纯Java实现的Ruby解释器，由JRuby团队开发。它是一个自由软件，在CPL/GPL/LGPL三种许可协议下发布。主要开发者有Charles Nutter、Thomas Enebo、Ola Bini、Nick Sieger等

Jython

Jython是一种完整的语言，而不是一个Java翻译器或仅仅是一个Python编译器，它是一个Python语言在Java中的完全实现。Jython也有很多从CPython中继承的模块库。最有趣的事情是Jython不像CPython或其他任何高级语言，它提供了对其实现语言的一切存取。所以Jython不仅给你提供了Python的库，同时也提供了所有的Java类。这使其有一个巨大的资源库。

Groovy

Apache的Groovy是Java平台上设计的面向对象编程语言。这门动态语言拥有类似Python、Ruby和Smalltalk中的一些特性，可以作为Java平台的脚本语言使用，Groovy代码动态地编译成运行于Java虚拟机（JVM）上的Java字节码，并与其他Java代码和库进行互操作。由于其运行在JVM上的特性，Groovy可以使用其他Java语言编写的库。Groovy的语法与Java非常相似，大多数Java代码也符合Groovy的语法规则，尽管可能语义不同。

Kotlin

Kotlin是一种在Java虚拟机上运行的静态类型编程语言，它也可以被编译成为JavaScript源代码。它主要是由俄罗斯圣彼得堡的JetBrains开发团队所发展出来的编程语言，其名称来自于圣彼得堡附近的科特林岛。2012年1月，著名期刊《Dr. Dobb's Journal》中Kotlin被认定为该月的最佳语言。虽然与Java语法并不兼容，但在JVM环境中Kotlin被设计成可以和Java代码相互运作，并可以重复使用如Java集合框架等的现有Java引用的函数库。Hathibelagal写道，“如果你正在为Android开发寻找一种替代编程语言，那么应该试下Kotlin。它很容易在Android项目中替代Java或者同Java一起使用。

采用XCode的语言

Swift

Objective-C

AppleScript

AppleScript是苹果公司开发的一种脚本语言，可以用来控制运行于Mac OS上的程序，也可以写成独立运行的Applet。最早版本在1993年十月推出，在System 7(System 7.1.1)运行

脚本语言

ECMA-262

ECMAScript

ECMAScript是一种由Ecma国际(前身为欧洲计算机制造商协会)在标准ECMA-262中定义的脚本语言规范。这种语言在万维网上应用广泛，它往往被称为JavaScript或JScript，但实际上后两者是ECMA-262标准的实现和扩展。

CoffeeScript

CoffeeScript是一套JavaScript的转译语言，创建者 Jeremy Ashkenas 戏称它是- JavaScript 的不那么铺张的小兄弟。因为 CoffeeScript 会将类似 Ruby 语法的代码编译成 JavaScript，而且大部分结构都相似，但不同的是 CoffeeScript 拥有更严格的语法。

TypeScript

TypeScript是微软开发的一个开源的编程语言，通过在JavaScript的基础上添加静态类型定义构建而成。TypeScript通过TypeScript编译器或Babel转译为JavaScript代码，可运行在任何浏览器，任何操作系统。

Elm

Elm是一个领域特定编程语言，用于声明式地创建基于web浏览器的图形用户界面。Elm是纯函数式的，开发它时强调了易用性、性能和健壮性。它宣传为“实际上没有运行时间异常”，Elm编译器的静态类型检查使之成为可能。

PureScript

Pure Script是一种强类型、纯函数式、最终编译为JavaScript的编程语言。PureScript可以开发网络应用程序、服务端应用程序，也可以借助Electron开发桌面应用程序。其语法大多与Haskell相当。此外，它还引入了行多态性和可扩展记录。不过，与Haskell相反的是，PureScript坚持严格求值策略。

动态语言

Perl

Perl一种功能丰富的计算机程序语言，运行在超过100种计算机平台上，适用广泛，从最初是为文本处理而开发的，现在用于各种任务，包括系统管理，Web开发，网络编程，GUI开发等。Perl易于使用、高效、完整，而不是美观（小巧，优雅，简约）。同时支持过程和面向对象编程，对文本处理具有强大的内置支持，并且拥有第三方模块集合之一。 [1] Perl借取了C、sed、awk、shell脚本语言以及很多其他程序语言的特性，其中最重要的特性是它内部集成了正则表达式的功能，以及巨大的第三方代码库CPAN。

Python

Lua

Ruby

PHP

PHP(PHP: Hypertext Preprocessor)即“超文本预处理器”，是在服务器端执行的脚本语言，尤其适用于Web开发并可嵌入HTML中。PHP语法学习了C语言，吸纳Java和Perl多个语言的特色发展出自己的特色语法，并根据它们的长项持续改进提升自己，例如java的面向对象编程，该语言当初创建的主要目标是让开发人员快速编写出优质的web网站。 PHP同时支持面向对象和面向过程的开发，使用上非常灵活。

VBScript

VBScript是Visual Basic Script的简称，即 Visual Basic 脚本语言，有时也被缩写为VBS。它是一种微软环境下的轻量级的解释型语言，它使用COM组件、WMI、WSH、ADSI访问系统中的元素，对系统进行管理。同时它又是asp动态网页默认的编程语言，配合asp内建对象和ADO对象，用户很快就能掌握访问数据库的asp动态网页开发技术。

JSP

JSP（全称JavaServer Pages）是由Sun Microsystems公司主导创建的一种动态网页技术标准。JSP部署于网络服务器上，可以响应客户端发送的请求，并根据请求内容动态地生成HTML、XML或其他格式文档的Web网页，然后返回给请求者。JSP技术以Java语言作为脚本语言，为用户的HTTP请求提供服务，并能与服务器上的其它Java程序共同处理复杂的业务需求。JSP将Java代码和特定变动内容嵌入到静态的页面中，实现以静态页面为模板，动态生成其中的部分内容。JSP引入了被称为“JSP动作”的XML标签，用来调用内建功能。另外，可以创建JSP标签库，然后像使用标准HTML或XML标签一样使用它们。标签库能增强功能和服务器性能，而且不受跨平台问题的限制。JSP文件在运行时会被其编译器转换成更原始的Servlet代码。JSP编译器可以把JSP文件编译成用Java代码写的Servlet，然后再由Java编译器来编译成能快速执行的二进制机器码，也可以直接编译成二进制码。

Shell脚本语言

sh

Bourne shell，或sh，是Version 7 Unix默认的Unix shell，替代执行文件同为sh的Thompson shell。它由AT&T贝尔实验室的史蒂夫·伯恩在1977年在Version 7 Unix中针对大学与学院发布的。它的二进制程序文件在大多数Unix系统上位于/bin/sh，在很多Unix版本中，它仍然是root的默认shell。

csh

C shell(csh)是Unix shell的一种，由比尔·乔伊在BSD系统上开发。C shell脱胎于Unix第六版的/bin/sh，也是Bourne shell的前身。这种shell的语法类似于C语言，与Bourne shell相比，C shell有不少特别的功能，比如aliases(别名)、command history(命令的历史)。目前C shell已不再被广泛使用，后继者包括Tenex C shell(tcsh)、Korn shell(ksh)、GNU Bourne-Again shell(bash)

sed

sed由贝尔实验室的Lee E. McMahon于1973年至1974年开发，并且现在大多数操作系统都可以使用。sed基于交互式编辑器ed和早期qed的脚本功能。sed是最早支持正则表达式的工具之一，至今仍然用于文本处理，特别是用于替换命令。用于纯文本字符串操作和“流编辑”的常用工具还有AWK和Perl 。

AWK

AWK是一种优良的文本处理工具，Linux及Unix环境中现有的功能最强大的数据处理引擎之一。这种编程及数据操作语言（其名称得自于它的创始人阿尔佛雷德·艾侯、彼得·温伯格和布莱恩·柯林汉姓氏的首个字母）的最大功能取决于一个人所拥有的知识。AWK提供了极其强大的功能：可以进行正则表达式的匹配，样式装入、流控制、数学运算符、进程控制语句甚至于内置的变量和函数。它具备了一个完整的语言所应具有的几乎所有精美特性。实际上AWK的确拥有自己的语言：AWK程序设计语言，三位创建者已将它正式定义为“样式扫描和处理语言”。它允许创建简短的程序，这些程序读取输入文件、为数据排序、处理数据、对输入执行计算以及生成报表，还有无数其他的功能。gawk是AWK的GNU版本。

PowerShell

PowerShell(包括Windows PowerShell和PowerShell Core)是微软公司开发的任务自动化和配置管理框架，由.NET Framework和.NET Core构建的命令行界面壳层相关脚本语言组成，最初仅仅是Windows组件，后于2016年8月18日开源并跨平台支持.

在PowerShell中，管理任务通常由cmdlets（发音为command-lets）执行，这是执行特定操作的专用.NET类。可以将cmdlet集合至脚本、可执行文件（一般是独立应用程序）中，或通过常规.NET类（或WMI / COM对象）实例化。[5][6]通过访问不同数据存储中的数据由PowerShell运行.

特定领域的语言

科学计算

Maxima

Maxima是一种用LISP编写的计算机代数系统 (Computer Algebra System)，用于公式推导、符号计算、数值计算等，它是一套自由软件，在GNU通用公共许可证下发行。

Maple

Maple是世界上最为通用的数学和工程计算软件之一，在数学和科学领域享有盛誉，有“数学家的软件”之称。Maple 在全球拥有数百万用户，被广泛地应用于科学、工程和教育等领域，用户渗透超过96%的世界主要高校和研究所，超过81%的世界财富五百强企业。Maple系统内置高级技术解决建模和仿真中的数学问题，包括世界上最强大的符号计算、无限精度数值计算、创新的互联网连接、强大的4GL语言等，内置超过5000个计算命令，数学和分析功能覆盖几乎所有的数学分支，如微积分、微分方程、特殊函数、线性代数、图像声音处理、统计、动力系统等。

Matlab

MATLAB是美国MathWorks公司出品的商业数学软件，用于数据分析、无线通信、深度学习、图像处理与计算机视觉、信号处理、量化金融与风险管理、机器人，控制系统等领域。

MATLAB是matrix&laboratory两个词的组合，意为矩阵工厂（矩阵实验室），软件主要面对科学计算、可视化以及交互式程序设计的高科技计算环境。它将数值分析、矩阵计算、科学数据可视化以及非线性动态系统的建模和仿真等诸多强大功能集成在一个易于使用的视窗环境中，为科学研究、工程设计以及必须进行有效数值计算的众多科学领域提供了一种全面的解决方案，并在很大程度上摆脱了传统非交互式程序设计语言（如C、Fortran）的编辑模式。

MATLAB和Mathematica、Maple并称为三大数学软件。它在数学类科技应用软件中在数值计算方面首屈一指。行矩阵运算、绘制函数和数据、实现算法、创建用户界面、连接其他编程语言的程序等。MATLAB的基本数据单位是矩阵，它的指令表达式与数学、工程中常用的形式十分相似，故用MATLAB来解算问题要比用C，FORTRAN等语言完成相同的事情简捷得多，并且MATLAB也吸收了像Maple等软件的优点，使MATLAB成为一个强大的数学软件。在新的版本中也加入了对C，FORTRAN，C++，JAVA的支持。

Wolfram

Wolfram语言（通常指代Mathematica或者缩写为 M）是Mathematica和 Wolfram Programming Cloud所使用的语言。这是一种由沃尔夫勒姆研究公司开发的多范型编程语言。这是用于Mathematica和Wolfram Programming Cloud的主要界面编程语言 。它具有广泛和普遍的适用性，主要特点是符号计算、函数式编程和基于规则的编程。它可以用来创建和表示任何结构和数据。

R

R语言是一种自由软件编程语言与操作环境，主要用于统计分析、绘图以及数据挖掘。R本来由来自新西兰奥克兰大学的统计学家罗斯·伊哈卡和罗伯特·杰特曼开发，现在由R开发核心团队负责开发。伊哈卡与杰特曼两人名前缀字母都是R，R语言因此得名。同时，R这个单一字母的名字也表明R语言与S语言一脉相承。通常用S语言编写的代码都可以不作修改地在R环境下运行。R的语法来自Scheme。R的后台程序大多由C语言、FORTRAN语言和R自己写成。R是GNU计划中的一个项目，所以其源代码可自由下载使用。[7]R也有已编译的可执行文件版本可以下载，可在多种平台下运行，包括UNIX（也包括FreeBSD和Linux）、Windows和MacOS。R主要是以命令行操作，同时有人开发了几种图形用户界面，其中RStudio是最为广泛使用的集成开发环境。

Julia

Julia是一种高级通用动态编程语言，它最初是为了满足高性能数值分析和计算科学的需要而设计的，不需要解释器，速度快，也可用于客户端和服务器的Web用途、低级系统编程或用作规约语言。Julia设计的独特之处包括，参数多态的类型系统，完全动态语言中的类型，以及它多分派的核心编程范型。它允许并发、并行和分布式计算，并直接调用C和Fortran库而不使用粘合代码。Julia拥有垃圾回收机制，使用及早求值，包含了用于浮点计算、线性代数、随机数生成和正则表达式匹配的高效库。有许多库可以使用，其中一些（如用于快速傅里叶变换的库）已经预先捆绑在Julia里。

GPU计算

GLSL

GLSL - OpenGL Shading Language 也称作 GLslang，是一个以C语言为基础的高阶着色语言。它是由 OpenGL ARB 所建立，提供开发者对绘图管线更多的直接控制，而无需使用汇编语言或硬件规格语言。

HLSL

高级着色器语言(即 HLSL，缩写自 High Level Shader Language或 High-Level Shading Language)是由微软拥有及开发的一种着色器语言，最初的开发是为了辅助 Direct3D 9 的着色器汇编语言，后成为 Direct3D 10 以来统一着色器模型所必须的语言。

OpenCL

OpenCL（Open Computing Language，开放计算语言）是一个为异构平台编写程序的框架，此异构平台可由CPU、GPU、DSP、FPGA或其他类型的处理器与硬件加速器所组成。OpenCL由一门用于编写kernels（在OpenCL设备上运行的函数）的语言（基于C99）和一组用于定义并控制平台的API组成。OpenCL提供了基于任务分割和数据分割的并行计算机制。OpenCL类似于另外两个开放的工业标准OpenGL和OpenAL，这两个标准分别用于三维图形和计算机音频方面。OpenCL扩展了GPU图形生成之外的能力。OpenCL由非盈利性技术组织Khronos Group掌管

CUDA

CUDA（Compute Unified Device Architecture，统一计算架构）是由英伟达NVIDIA所推出的一种集成技术，是该公司对于GPGPU的正式名称。透过这个技术，用户可利用NVIDIA的GeForce 8以后的GPU和较新的Quadro GPU进行计算。亦是首次可以利用GPU作为C-编译器的开发环境。NVIDIA营销的时候，往往将编译器与架构混合推广，造成混乱。实际上，CUDA可以兼容OpenCL或者自家的C-编译器。无论是CUDA C-语言或是OpenCL，指令最终都会被驱动程序转换成PTX代码，交由显示核心计算。

Futhark

Futhark是一个函数式、数据并行、阵列编程语言，最初于哥本哈根大学理学院计算机科学系（DIKU）作为HIPERFIT（财务信息技术的函数式高性能计算）计划的一部分而开发[1]。它聚焦于确使以函数式风格书写的数据并行程序，可以高性能的执行于大规模并行硬件上，特别是在GPU上。Futhark受到NESL的强烈启发，但是为了确使更具进取性的编译器优化，对如何表达并行施加了约束。特别是，不支持非正规的嵌套数据并行。

数据查询

SQL

结构化查询语言（Structured Query Language）简称SQL，是一种特殊目的的编程语言，是一种数据库查询和程序设计语言，用于存取数据以及查询、更新和管理关系数据库系统。结构化查询语言是高级的非过程化编程语言，允许用户在高层数据结构上工作。它不要求用户指定对数据的存放方法，也不需要用户了解具体的数据存放方式，所以具有完全不同底层结构的不同数据库系统, 可以使用相同的结构化查询语言作为数据输入与管理的接口。结构化查询语言语句可以嵌套，这使它具有极大的灵活性和强大的功能。

xBase

xBase数据库系统主要包括：xBASE的代表dBASE系列，Fox公司推出的Fox系列（包括FoxBASE和FoxPro），Nantucket公司推出的Clipper数据库系统等。它们使用同一种库文件结构，相同的语法结构和基本上兼容的语言，因此将它们归为xBase类数据库系统。

可视化

Squeak

Squeak是一套Smalltalk的程序开发平台。

Scratch

Scratch是麻省理工媒体实验室终身幼稚园组开发的一套电脑程序开发平台，目前已在150多个国家/地区使用，并提供60多种语言版本。由Mitchel Resnick和Andrés Monroy-Hernández创立。Scratch开发平台可安装在Mac OS X、Windows、Linux的平台上；自2.0之后，换用ActionScript编制，Scratch已于2019年1月2日发布3.0正式版，换用HTML5编制。Scratch运行于浏览器。Scratch源码完全开放

LabView

LabVIEW是一种程序开发环境，由美国国家仪器（NI）公司研制开发，类似于C和BASIC开发环境，但是LabVIEW与其他计算机语言的显著区别是：其他计算机语言都是采用基于文本的语言产生代码，而LabVIEW使用的是图形化编辑语言G编写程序，产生的程序是框图的形式。LabVIEW软件是NI设计平台的核心，也是开发测量或控制系统的理想选择。 LabVIEW开发环境集成了工程师和科学家快速构建各种应用所需的所有工具，旨在帮助工程师和科学家解决问题、提高生产力和不断创新。

Simulink

Simulink是The MathWorks公司开发的用于动态系统和嵌入式系统的多领域模拟和基于模型的设计工具，常集成于MathWorks公司的另一产品MATLAB中与之配合使用。Simulink提供一个交互式的图形化环境及可定制模块库（Library），可对各种时变系统，例如通讯、控制、信号处理、影像处理和图像处理系统等进行设计、模拟、执行和测试，也可以进行基于模型的设计。

音频设计

Processing

Processing是一种开源编程语言，专门为电子艺术和视觉交互设计而创建，其目的是通过可视化的方式辅助编程教学，并在此基础之上表达数字创意。Processing也指Processing语言的集成开发环境(IDE)。2001年，MIT媒体实验室的 Casey Reas 和 Benjamin Fry 发起了此计划。其固定目标之一便是作为一个有效的工具，通过激励性的可视化反馈帮助非程序员进行编程的入门学习。Processing语言建立在Java语言的基础之上，但使用简化的语法和图形编程模型。以Processing为基础的Javascript框架p5.js，用数据可视化和视觉艺术创作

SuperCollider

SuperCollider 是一个最初由 James McCartney 在1996年发布的编程语言和声音编程环境，主要用于实时声音合成和算法作曲。自此之后，它逐步变成一个被科学家与艺术家们共同开发和操作声音的系统。这个高效且有表现力的动态语言，为声学、 算法音乐和交互式编程提供了一个框架。

Pure Data

Pure Data（或称作PD）是米勒・帕克特在90年代为创造交互的计算机音乐和多媒体作品而开发的视觉化程式设计语言。虽然帕克特是Pd的主要作者，但是它是一个多数开发者为起开发新扩展的开放源代码项目。它以一个类似于 BSD许可证 类似许可证下发行，可运行在GNU/Linux、Mac OS X、iOS、Android和Windows。

Chuck

ChucK 是一个并发和强调时间的音频编程语言，主要用于实时声音合成、作曲和表演，可运行于OS X、Linux、Microsoft Windows和 iOS。相比性能等其他因素的考虑，它的设计更注重程序的可读性与编程灵活性。它原生支持确定性并发和同时多重动态控制率。另外一个关键的功能其对现场编程的支持， 可以在程序不停止或重启的情况下，现场增加、删除和修改程序。它有着非常精确的定时/并发模型，允许任意准确的控制。它为作曲家与研究人员而开发的编程工具兼具强大性能与灵活性，包括对复杂声音合成进行开发和调试，以及实时的交互控制。

其他

汇编语言

汇编语言是任何一种用于电子计算机、微处理器、微控制器，或其他可编程器件的低级语言。在不同的设备中，汇编语言对应着不同的机器语言指令集。一种汇编语言专用于某种计算机系统结构，而不像许多高级语言，可以在不同系统平台之间移植。

使用汇编语言编写的源代码，然后通过相应的汇编程序将它们转换成可执行的机器代码。这一过程被称为汇编过程。

汇编语言使用助记符（Mnemonics）来代替和表示特定低级机器语言的操作。特定的汇编目标指令集可能会包括特定的操作数。许多汇编程序可以识别代表地址和常量的标签（Label）和符号（Symbols），这样就可以用字符来代表操作数而无需采取写死的方式。普遍地说，每一种特定的汇编语言和其特定的机器语言指令集是一一对应的。

许多汇编程序为程序开发、汇编控制、辅助调试提供了额外的支持机制。有的汇编语言编写工具经常会提供宏，它们也被称为宏汇编器。

现在汇编语言已不像其他大多数的程序设计语言一样被广泛用于程序设计，在今天的实际应用中，它通常被应用在底层硬件操作和高要求的程序优化的场合。驱动程序、嵌入式操作系统和实时运行程序中都会需要汇编语言。

PostScript

PostScript(PS)是主要用于电子产业和桌面出版领域的一种页面描述语言和编程语言。

WebAssembly

WebAssembly或称wasm是一个实验性的低级编程语言，应用于浏览器内的客户端。WebAssembly是便携式的抽象语法树，被设计来提供比JavaScript更快速的编译及运行。WebAssembly将让开发者能运用自己熟悉的编程语言(最初以C/C++作为实现目标)编译，再藉虚拟机引擎在浏览器内运行[3]。WebAssembly的开发团队分别来自Mozilla、Google、Microsoft、Apple，代表着四大网络浏览器Firefox、Chrome、Microsoft Edge、Safari。2017年11月，以上四个浏览器都开始实验性的支持WebAssembly[5][6]。WebAssembly 于 2019 年 12 月 5 日成为万维网联盟(W3C)的推荐，与 HTML，CSS 和 JavaScript 一起，成为 Web 的第四种语言。