参考链接：史上最全编程语言列表，你把握了什么？
计算机编程语言可用于将指令传达给计算机。下边可能是史上最全编程语言列表，我将它们分为以下几类，你把握了什么？
一、解释型编程语言
解释型语言是这样一种编程语言，其大部份实现直接执行指令，而无需先将程序编译成机器语言指令。协程直接执行程序，它会将每位句子翻译成已编译成了机器代码的一个或多个子程序的序列。（维基百科）
语言介绍
APL
APL以《编程语言（AProgrammingLanguage）》一书命名（Iverson，KennethE.，1962），它是一种字段编程语言。它可以在多个数据阵列上同时工作。它是一种解释型、可交互和函数式的编程语言。
AutoIt
它是自由软件，是一种用于MicrosoftWindows的手动化语言。主要目的是创建可用于在Windows上执行个别重复任务的手动化脚本。
BASIC
于1964年由约翰·乔治·凯米尼（JohnGeorgeKemeny）和托特·尤金·库尔茨（ThomasEugeneKurtz）在达特茅斯（Dartmouth）开发，它是初学者多用符号指令代码（Beginner’sAll-purposeSymbolicInstructionCode）的简写。它的目的是为非科学人士提供一个使用笔记本的途径。
Eiffel
它是一种被ISO标准化了的面向对象编程语言，用于开发可扩充和可重复使用的软件。它是一个可面向许多行业的开发平台，如金融，民航航天和视频游戏。
Forth
它是一种结构化的命令式编程语言，其实现基于堆栈。它支持交互式的命令执行以及对命令序列的编译。
Frink
由AlanEliasen开发，以JohnFrink院长命名——他是一位颇受欢迎的虚构人物。它基于Java虚拟机，专注于科学和工程领域。其突出特征是能通过所有的能让数目包含其检测单位的估算，来对检测单位进行跟踪。
GameMaker语言
它是一种解释型的计算机编程语言，借以与GameMaker配合使用——GameMaker是一种游戏制做应用程序。英国计算机科学家马克·奥马斯（MarkOvermars）设计了这些语言。
ICI
ICI是由TimLong于1992年设计的，它是一种通用的解释型计算机编程语言。它支持动态输入，灵活的数据类型以及其它的一些类似于C的语言结构。
KenIverson和RogerHui开发了这个只须要使用基础ASCII字符集的编程语言。它是一种字段编程语言，适用于物理和统计操作。
Lisp
Lisp是现在正在被广泛使用的第二古老的中级编程语言。其名称Lisp派生自“列表处理语言（ListProcessingLanguage）”。Lisp支持的重要数据结构之一是数组。Lisp程序会将源代码当作是数据结构。
Lua
计算机图形技术组的成员在1993年开发出了Lua。它被设计成为脚本语言，是一种不可获取的过程式编程语言，以简单而强悍而享誉。
M是MUMPS的简写，它是为医疗保健行业而创建的一种编程语言。M语言是由医学信息技术的创始人NeilPappalardo以及他的朋友开发下来的。
Pascal
它是一种过程式编程语言搞自动化要学计算机编程语言吗，借以借助上数据结构化和结构化编程的概念。英国计算机科学家NiklausWirth设计了这些语言，是以德国物理家和哲学家BlaisePascal来命名的。
PCASTL
它是ParentandChildsetAccessibleSyntaxTreeLanguage（可访问父和子集句型树语言）的简写，是由PhilippeChoquette开发下来的中级语言，属于解释型的计算机编程语言类型。它是专门为自更改代码而设计的。
Perl
Perl是一种支持动态编程的中级解释型编程语言。它是由LarryWall开发的，而LarryWall则是NASA的系统管理员。它为程序员提供了文本处理的能力，并融合了C、Lisp还有Awk等各类语言的功能特点。
PostScript
它主要在桌面出版领域中使用，被称为页面描述语言。它是一种基于堆栈的动态编程语言，由日本计算机科学家JohnWarnock和计算机科学领域知名人物CharlesGeschke开发。这种开发人员后来一起成立了特别着名的AdobeSystems公司。
Python
它是一种支持强制命令，面向对象和函数式编程式样的中级编程语言。它与Perl在动态类型系统和手动显存管理方面有相像之处。Python最初于1991年由法国计算机程序员GuidovanRossum发布，它是一种基于社区的开放性语言，其开发由PythonSoftwareFoundation来进行管理。
REXX
RestructuredExtendedExecutor（构建扩充执行器）的简称，它是由IBM开发的解释型语言。它被设计下来的目的是成为一种便于学习和阅读的语言。NetRexx是IBM提供的基于REXX的面向对象编程实现。ObjectREXX是基于REXX的面向对象脚本语言。
Ruby
在20世纪90年代，韩国盛行了要开发这样一种语言的动力。它具有与Perl类似的动态类型系统和手动显存管理功能。它支持多种编程款式，是一种动态的面向对象语言。
S-Lang
S-Lang一开始是作为一种基于堆栈的语言来而开发下来，而如今早已演化为一种类似于C的语言。它是由JohnE.Davis开发下来的。
Spin
Spin是一种多任务且面向对象的编程语言，其编译器会将代码转换为字节码。多个Spin代码线程可以在同时运行，进而实现多任务处理。Spin是由Parallax的ChipGracey开发下来的。
二、函数式编程语言
函数式编程语言定义每次的估算作为物理求值。她们把焦点集中在函数的应用。大量的函数编程语言被绑定在物理估算上。
语言介绍
Charity
它是一种纯净的函数式，非图灵完备语言，这意味着所有的程序都可以被保证能中止。Charity是由美国的一所私立学院——Calgary学院设计的。
Clean
它是一种纯净的函数式编程语言，拥有跨平台能力，手动垃圾搜集机制，多数据结构和引用透明性，这种能力意味着一个函数，只要给它一个输入将总是会有一个输出。
Curry
它是一种函数逻辑编程语言，实现了函数式与逻辑编程，还有约束式编程。在约束式编程方式中，变量之间的关系是以约束的方式表示的。
Erlang
它是一种并发编程语言，包含了一系列支持函数式编程的子集。沃达丰将Erlang作为一种分布式软实时与容错语言来进行开发，并于1998年将其作为一种开放源代码的计算机编程语言发布，是最常用的函数式编程语言之一。
F#
它是面向.NETFramework的一种编程语言，同时支持函数式以及命令式的面向对象编程。谷歌研究院的DonSyme开发了这些语言，他如今正在Microsoft开发部门进行参与开发工作。它被叫做FSharp，被集成到.NETFramework和VisualStudio中。
Haskell
Haskell是以HaskellCurry——一个逻辑学家——来命名的，是中学标准化的纯函数式语言。它支持模式匹配，可定义运算符、单个形参、代数数据类型以及递归函数。
Joy
它是一种基于函数组合的纯函数式语言。美国LaTrobe学院的ManfredvonThun开发出了这些语言。
Kite
它于2006年推出，带有一个由面向对象和函数式编程功能特点混和组成的功能集合。这是一种可快速运行的语言。有趣的是，Kite使用管线字符来进行函数式调用，而不像使用其他语言那样使用点或则箭头字符。
ML
格拉斯哥学院的罗宾·米尔纳（RobinMilner）及其朋友在七十年代推出了ML。由于它支持命令式编程，所以并非一种纯粹的函数式语言。标准ML在编译器编撰者群体中很受欢迎，是一种模块化的函数式编程语言。Alice是标准ML的土语，支持分布式估算，多线程和约束式编程。Caml是ML的另一种土语，是一种支持手动显存管理的静态类型语言。Ocaml是作为开源项目开发下来的Caml实现。JoCaml是基于联接演算模式的Ocaml版本。
Nemerle
它是专为.NET平台设计的一种静态类型编程语言。Nemerle中的程序会被编译成中间语言字节码。它支持函数式，命令式以及面向对象编程。
OPAL
该名称表示的是OptimizedApplicativeLanguage（优化应用语言），是由柏林技术学院开发下来的函数式编程语言。
OPS5
它是一种基于规则的生产系统计算机语言，早已成为在专业系统中使用的首选语言。
之所以被称为Q，由于它是一种方程（equational）编程语言。它是由英国南安普顿学院AlbertGraf设计下来的一种解释型函数式语言。它可以被描述为用于对表达式进行估算的一组方程式。
三、编译型编程语言
编译型语言是典型的通过编译器(将源代码生成机器码的翻译工具)而不是类库(一步步执行源码，不会在运行前发生转换)实现的编程语言。(维基百科)
语言介绍
Ada
它是一种基于Pascal的静态类型、结构化、命令式的编程语言。JeanIchbiah率领的CIIHoneywellBull团队开发了Ada。Ada编译器由关键任务系统验证，它是符合国际标准的计算机编程语言。
ALGOL
它的名称就表明了它是一种算法语言。实际上它是在20世纪50年代中期开发下来的一系列命令式编程语言。它被证明可用于创建像BCPL、B和C这样的编程语言。坐落Oslo的加拿大计算机中心的Ole-JohanDahl和KristenNygaard在它的基础上创造了Simula。
贝尔笔记本实验室的DennisRitchie开发了C用于Unix平台。它是通用、跨平台、过程化、命令式的编程语言。它用于实现系统软件和应用软件，是现今使用最广泛的计算机编程语言之一。C++和C#都是基于C发展而至。
C++
它由中级语言和低级语言相结合，因而被觉得是一个高级编程语言。贝尔实验室的BjarneStoustrup开发了C++，把它作为C语言的扩充。它最初被称为“含有类的C”，直至1983年才被称为C++。它是一种支持过程化编程、泛型编程、面向对象编程和数据具象的多元化语言。
[译者注：multi-paradigm中的paradigm指方式，常见的编程方式包括：命令式(imperative)、函数式(functional)、申明式(declarative)、面向对象(object-oriented)、过程化(procedural)、逻辑化(logic)、风格化(symbolic)——参考维基百科]
C#
CSharp也是一种多元化语言，支持命令式、泛型和面向对象编程。它是Microsoft.NET框架的一部份。它的面向对象句型与C++相像。它还遭到Java和Delphi的影响。
CLEO
它被称为ClearLanguageforExpressingOrders(清楚抒发命令的语言)，是用于LEO计算机的计算机语言。
COBOL
其名称代表了CommonBusiness-OrientedLanguage(面向商业的通用语言)，被设计用于商业和金融领域。COLBOL2002标准支持面向对象编程。它是一个十分古老的编程语言，但依然在使用。
Cobra
它是一个运行于.NET框架和Mono框架的面向对象编程语言，由ChunkEsterbrook开发。它的设计受Python和C#的影响。它支持静态和动态类型，适用于单元测试。如今它是一个开源项目。
它最初被设计为C++的提高，受Java、Eiffel和C#的影响。它是面向对象、命令式、多样化的系统编程语言，由DigitalMars的WalterBright开发。
DASL
它是DistributedApplicationSpecificationLanguage(分布式应用程序描述语言)的简写，是由Sun公司开发的一款中级、强类型的编程语言。创建它是为了拿来开发Web应用。
DIBOL
DIBOL是DigitalInteractiveBusinessOrientedLanguage(面向商业的数字互动语言)的缩写，它是通用过程命令式的编程语言。它和COBOL很像，适用于管理信息系统的开发。
Fortran
这是过程化、命令式的通用计算机编程语言，适用于科学估算和数值运算。自IBM于20世纪50年代开发下来，它迅速走红。它是结构化的编译型编程语言，在高性能估算领域十分流行。它是Fortran95的子集。Fortran的修订版本，Fortran2003支持面向对象编程。
Java
它是通用计算机编程语言，并发，基于类，面向对象并专门针对尽可能少的依赖来进行设计。编译后的Java代码可以不须要再度编译就运行于各类支持Java的平台。是现代十分流行的语言。
JOVIAL
它是类似ALGOL的高阶计算机编程语言。它适用于嵌入式系统的设计和开发。
Objective-C
它是一种反射式面向对象程序编程语言，在C的基础上添加了消息服务。
SMALL
它的名称表示SmallMachineAlgol-likeLanguage(类似Glgol的大型机器语言)。它的代码与ALGOL类似，用于在大型机上编程。
Smalltalk
它是反射式的面向对象编程语言，支持动态类型。AlanKay、AdeleGoldberg、DanIngalls、ScottWallace、TedKaehler和她们在XeroxPARC的朋友开发了Smalltalk。她们为教育用途设计了Smalltalk，然后它就流行上去了。VisualWorks是Samlltalk的优秀实现。Squeak是Smalltalk的一种实现方式。Scratch是基于Squeak的可视化编程语言。
Turing
它于1982年由美国新泽西学院的RicHolt和JamesCordy开发下来。它的名子是为了记念美国计算机科学家AlanTuring(艾兰·图灵)。它很像Pascal，从2007年开始免费。
VisualBasic
这是一个风波驱动的编程语言，通过集成开发环境打包。它从BASIC承继了好多特点。它的图形化开发特点使初学者学习上去十分容易。
VisualFoxPro
它是面向对象和过程化编程语言，来始于FoxPro。它自身集成了关系型数据库系统，不再须要额外的编程环境。它支持动态编程。
XL
它的诞生是为了支持概念编程，这是一种旨在于将程序员脑中的概念转化为代码的编程方式。程序可以重新配置XL的句型和语义。
四、过程式编程语言
过程式（命令式）编程意味着需指定程序应当达到预期状态的步骤。过程是可以通过过程调用引用的一组句子。过程有助于代码中庸。过程式编程使程序结构化，便于追踪程序流程。
语言介绍
Bliss
它是一种系统编程语言，是在C语言出现之前最著名的语言之一。卡内基梅隆学院的W.A.Wolf、D.B.Russell和A.N.Habermann发明了Bliss。它包括异常处理机制、协程和宏，但并不包括goto词句。
ChucK
它是可以在MacOSX、Linux以及MicrosoftWindows上运行的并发和强音频定时的编程语言。它非常以其为程序员提供在运行程序中做一些更改的能力而闻名。
CLIST
它是一种使用命令集合的方式表示的过程式编程语言，这种命令集合须要像批处理文件一样次序执行。
HyperTalk
它是一种中级编程语言，借以给程序员的初学者使用。这些计算机语言的程序员被称为作者，编撰程序的行为被称为脚本。HyperTalk由DanWinker于1987年设计，结构上类似于Pascal。
Modula-2
它是1978年由NiklausWirth在ETH成立的通用过程式语言。它与Pascal类似，具有系统编程和多重编程功能。
Oberon
NiklausWirth、Pascal和Modula背后的人，在1986年提出了Oberon，它被设计为Oberon操作系统的一部份。它类似于Modula-2，但比它小得多。
ComponentPascal
这是一种看起来好像与Pascal相关的编程语言，但实际上与它不兼容。它实际上是Oberon-2的一个变种。Lagoona是一种实验性编程语言，支持面向组件的编程、将系统分解为逻辑或功能组件的范式。NiklausWirth的中学生MichaelFranz发明了Lagoona。Seneca，以Oberon-2闻名，是Oberon编程语言的扩充。
MATLAB
它是一种数值估算环境和一种才能进行矩阵估算、功能绘图和算法实现的编程语言。它也可以用于创建用户界面。MathWorks创建了MATLAB。
Occam
这是由DavidMay和他的朋友们在INMOS发明的一项命令式程序性语言。它类似于Pascal。Occam-pi是Occam的一种变体，早已扩充到包括嵌套合同、递归、协议承继、数组构造函数和运行时进程创建。
PL/C
它被发明以后用于院长编程知识。它是在20世纪70年代在康奈尔学院创建的。
PL/I
它是针对科研和工程应用的必需的计算机编程语言。主要用于执行数据处理，它还支持结构化编程和递归。
Rapira
它是一种在南斯拉夫中学院士计算机程序设计的过程式编程语言。南斯拉夫开发的这些语言最初是基于英语的关键词。此后才加入的中文关键词。
RPG
此编程语言用于业务应用程序中。它可以与IBM的SystemI中间件计算机一起使用。
五、脚本语言
脚本语言是拿来控制应用程序的编程语言。脚本可以独立于其它任何应用程序执行。它们多数时侯嵌入在应用程序中，用于控制或用于执行频繁执行的手动任务，例如与外部程序通讯的任务。
语言介绍
AppleScript
它是MacOS内建的脚本语言。
Awk
Awk于上世纪70年代诞生于贝尔实验室。它使用字符串数据类型、数组和正则表达式来处理数据流和文件中基于文本的数据。
BeanShell
它是Java脚本语言，其句型与Java相像，是在Java运行环境中运行的脚本命令和句型。
ColdFusion
它是应用服务器和软件开发框架，带有一个被称为ColdFusionMarkupLanguage(ColdFusion标记语言)的脚本语言。它被称为CFML，其句型与HTML类似。
F-Script
它是一种面向对象的脚本语言，与Smalltalk十分接近，但降低了链表编程的特点。
JASS
它是一个风波驱动的脚本语言，为程序提供了广泛的API。
MayaEmbeddedLanguage
它是Maya软件中处理任务的脚本语言，简写为MEL。它的句型类似Perl。
Mondrian
这个脚本语言为Internet应用而生，它可以看作是Haskell和Java的结合。
PHP
PHP是一种普遍使用的脚本语言。它用于创建动态网页，同时也支持命令行插口。
Revolution
它是基于HyperTalk的快速应用程序开发语言。它跨平台，支持动态类型。
Tcl
它被觉得是一种容易学习的脚本语言。它用于嵌入式系统的快速原型开发。
VBScript
它是谷歌开发的VisualBasic的变体，特别活跃。VBScript在谷歌Windows桌面系统中都作为默认组件存在。
WindowsPowerShell
它是谷歌的命令行shell和脚本语言。它于2006年发布，可用于WindowsXP、WindowsVista以及WindowsServer2003和WindowsServer2008[译者注：还有更新一些的Windows版本]。它与Microsoft.NET框架合作，包括可执行程序、独立应用中的窗体、常规的.NET类等。Cmdlet是特定的.NET类和脚本，或则由一些Cmdlet通过必要逻辑组合上去。
六、标记编程语言
标记编程语言(MarkupLanguages)是一种人造语言，它使用文本注释来定义这种文本的显示方法。
语言介绍
Curl
它是一种反射式的面向对象的编程语言。它是一种类似于HTML的标记语言。Curl是支持多重承继的面向对象编程语言。
SGML
标准化通用标记语言（SGML）是来自IBM的通用标记语言。它是可以为文档定义标记语言的ISO标准元语言。它的目的是共享必须常年保留出来的小型项目机读文件。
HTML
超文本标记语言（简写为HTML）是用于网页的最知名的标记语言。它是用HTML标签的方式写成的，它们被尖括弧所包围。HTML标签描述了文档中的文本外形，但是可以嵌入到个别其他代码中以影响Web浏览器的行为。HTML使用SGML的默认句型。
XML
这个名子代表可扩充标记语言（ExtensibleMarkupLanguage）。它是可扩充的，由于它容许用户自定义XML元素。它支持通过互联网共享结构化数据以及数据的编码和序列化。它起源于SGML的一个子集。XPath是用于从XML文档中选择节点的XML路径语言。它支持值估算。XQuery用于查询XML数据的集合。可扩充款式表语言转换（XSLT）是一种基于XML的语言，用于将XML文档转换为人类可读的格式。ApacheAnt是软件重构过程中的手动化工具。它使用XML来描述建立过程。
XHTML
它是一种与HTML类似的标记语言，遵守XML句型。它是HTML和XML之间的过渡。XHTML文档容许手动处理数据。
七、基于逻辑的编程语言
逻辑编程是一种基于方式逻辑的编程范例。用逻辑编程语言编撰的程序都是逻辑方式的一组语句，抒发关于个别问题域的事实和规则。（维基百科）
语言介绍
ALF
代数逻辑函数式（AlgebraicLogicFunctional）编程语言是一种多范式的编程语言，它是功能编程和逻辑编程的组合。ALF程序句子会被编译成一种具象机指令。用C编撰的仿真器可以执行具象机的程序。
Fril
Fril语言是由TrevorMartin和JimBaldwin于20世纪80年代在利兹学院的时侯设计的。它主要面向一阶子句演算，支持模糊集和元编程，基于Prolog的句型。
Janus
Janus支持并发和约束式编程。
Leda
这些计算机编程语言是基于逻辑的，函数式，命令式和面向对象编程的混和体。因而，它是一种多范式语言。
Oz
它是一种多范式语言，支持函数式，基于逻辑的，命令式和面向对象编程。Oz还支持并发和分布式编程。支持约束式编程是Oz语言的优点之一。
Poplog
它是一个强悍的多范式软件开发环境，其核心语言是POP-11。该开发环境的所有语言共享一个共同的语言编辑器，而且是增量编译的编程语言。
Prolog
它是一种支持逻辑编程的通用编程语言，一般可以连系到人工智能和估算语言学。语言是申明式的，程序逻辑则以关系的方式来抒发。Mercury是基于Prolog的函数式逻辑编程语言。StrawberryProlog是Prolog的一种土语，被设计得便于使用。VisualProlog是支持面向对象编程的Prolog强类型扩充。它是一种基于逻辑的编译型编程语言。
ROOP
它是一种基于C++的多范式语言，推出目的是在与人工智能系统一起使用。其功能融合了函数式、逻辑和面向对象编程。
八、并发编程语言
并发编程是一种计算机编程技术，可以让操作并行执行——在单计算机或则跨越多台计算机上都可以实现，而在后一种情况下，使用术语分布式估算。（维基百科）
语言介绍
ABCL
它是基于Actor的并行语言（Actor-BasedConcurrentLanguage）的一个语言系列，是在台湾于1980年代和90年代开发下来的。ABCL/1、ABCL/R以及ABCL/R2就是ABCL系列的一些成员。
Afnix
它是一种多线程函数式编程语言。它的类库是用C++编撰的。其运行时引擎支持32位和64位平台。
Cilk
Cilk是麻省理工大学实验室在1994年创建下来的，支持多线程并行编程。
ConcurrentPascal
新加坡英国裔计算机科学家PerBrinchHansen创建了ConcurrentPascal，拿来编撰操作系统和为实时系统编程。
它是一种支持分布式编程的面向对象编程语言。E是在1997年由马克·米勒，丹·博恩斯坦与她们在电气社区的朋友们一起开发下来的，其句型类似于Java。
Joule
Joule出现在E编程语言之前，是一种并发数据流编程语言，可用于开发分布式应用程序。
Limbo
在贝尔实验室开发下来的Limbo可用于为分布式系统编撰程序。它的显着特征就是其编译器才能生成独立于体系结构的目标代码。Limbo被拿来开发在Inferno操作系统上运行的应用程序。最初作为Plan9操作系统一部份的Alex就是Limbo的前身。
Pict
它是一种静态类型的编程语言，如今还处在实验阶段。
SALSA
SimpleActorLanguageSystemandArchitecture（简单Actor语言系统和构架）的简称，SALSA支持并行编程，消息传递和分布式估算。为了具备可移植性，它使用了Java代码。
SR
其名称SR是SynchronizingResources（同步资源）的首字母缩略词，是一种并行编程语言。
九、面向对象编程语言
面向对象编程(OOP)是基于“对象”思想的编程规范，它包含数据，通常称为属性搞自动化要学计算机编程语言吗，表现为数组(field)的方式；还包含代码，通常称为方式，表现为程序的方式。在OOP中，计算机程序是按照对象与对象之间的交互来设计的。(Wikipedia)
语言介绍
Agora
这是一种基于原型的面向对象编程语言，具有消息传递机制。
BETA
它是一种面向对象的编程语言，其类和过程围绕相同的概念，但是类被定义为对象的属性。它具有很强的具象机制。BETA还支持嵌套类。
Cecil
这是由CraigChambers在芝加哥学院创建的一种面向对象编程语言。它与Objective-C和Modula-3十分相像。
Lava
Lava是一种解释性的可视化面向对象编程语言。
Lisaac
这是基于原型概念的首款编译性面向对象编程语言。它还支持系统编程。
MOO
这是一种基于动态类型原型的编程语言，支持面向对象编程。它支持异常处理机制和循环结构。
Moto
这是开源的服务器端编程语言，拥有状态和会话管理对象以及数据库联接。
Object-Z
这个语言由英国的Queensland学院开发。它扩充了Z编程语言，为其添加了面向对象的特点。
Obliq
这是一种提供面向对象编程特点的解释性计算机编程语言。它支持无类型变量，被设计用于分布式和多线程计算机。
Oxygene
Oxygene是一种基于ObjectPascal的面向对象编程语言，拥有丰富的功能集。它曾经被称为‘Chrome’。
Pliant
它基于动态编译器，具有独到的能力来支持低级指令列表，同时也支持中级表达式。
Prograph
它是可视化的面向对象语言，支持多种款式，使用符号来表示数据上的操作。
REBOL
REBOL由RelativeExpressionBasedObjectLanguage(基于对象的相关表达式语言)的首字母组成。它被设计用于分布式平台和网路通讯。
Scala
Scala名称表示它是可扩充(Scalable)的语言。它是一种多范型编程语言，提供了面向对象及函数式编程能力。
Self
这是基于原型的面向对象编程语言。NewtonScript在很大程序上受Self影响，它用于为AppleNewton编撰程序。
Slate
这个面向对象编程语言也是基于原型概念的。它有一些特点来自Smalltalk和Self语言。Slate设计下来的目的是为程序员提供一个像操作系统的样的环境。
XOTcl
它是从ToolCommandLanguage[译者注：可能叫Tcl更容易认下来]扩充而至，支持元类、动态类和技巧。
IO
这是纯面向对象编程语言，拥有基于原型对象的模型。它容积不大，可以在大型便携式虚拟机上运行。
