Crystal是一种具有以下目标的编程语言： 具有类似于Ruby的语法（但与它兼容不是目标） 静态类型检查，但无需指定变量或方法参数的类型。 能够通过在Crystal中编写绑定来调用C代码。 有编译时评估和生成代码，避免样板代码。 编译为高效的本机代码。

Elixir 是一个基于 Erlang 虚拟机的函数式、面向并行的通用编程语言。Elixir 以 Erlang 为基础，支持分布式、高容错、实时应用程序的开发，同时亦对其进行扩展使之借助宏实现元编程，并通过协议支持多态。[1]

Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同，它不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。因此，Ada语言的使用可大大改善软件系统的 清晰性、 可靠性、 有效性、可维护性。

Haskell是一种标准化的、通用纯函数式编程语言，有非限定性语义和强静态类型。它的命名源自美国逻辑学家Haskell Brooks Curry，他在数学逻辑方面的工作使得函数式编程语言有了广泛的基础。在Haskell中，函数是一等公民。作为函数式编程语言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以λ演算（Lambda-Calculus)为基础发展而来。具有“证明即程序、结论公式即程序类型”的特征。这也是Haskell语言以希腊字母「λ」（Lambda）作为自己标志的原因。Haskell语言的最主要的执行环境是GHC。

Red语言并不是一个很流行的语言，它自REBOL语言发展而来，但包括Red和它的母语REBOL，甚至都没有排进编程语言排行榜的前50位（根据最新一期TIOBE排行榜）。 但是，Red语言是一门小巧玲珑，而又功能不弱的轻量级编程语言。所谓的轻量级，是指整个语言的编写相对更贴近一般人类的思路，贴近高级语言因而书写便捷，编程和运行环境非常简单，实际上只有一个可执行文件。而功能不弱，体现在下面几个地方：跨平台、即支持解释运行又支持编译运行、内置的语言级别上支持图形界面（GUI）开发、方便的网络编程能力（例如发邮件、抓取网页等往往一条语句就可以实现）。

Kotlin（科特林）是一由JetBrains开发可用于现代多平台应用的静态编程语言。Kotlin可以编译成Java字节码和JavaScript与Java代码相互运作，并可以重复使用如Java集合框架等的现有Java引用的函数。Kotlin已正式成为Android官方支持开发语言。2021年7月10日，编程语言Kotlin启用新Logo，采用渐变色。[1]

typescript是一种由微软开发的自由和开源的编程语言。typescript起源于开发应用程序规模的JavaScript应用程序的需求。它是JavaScript的一个超集，而且本质上向这个语言添加了可选的静态类型和基于类的面向对象编程。typescript的作者是安德斯·海尔斯伯格，C#的首席架构师。2012年10月，微软发布了首个公开版本的typescript。

Facebook发布的一种名为 Hack的编程语言，集合了两种主流网页编程语言 PHP 和 Java 的优势，而这个语言从语法等特性上与 PHP 十分相似。绝大部分Facebook的页面都由这个Hack 语言编写[1]

Vala是一种新的编程语言，其目标是为GNOME开发者提供现代化的编程语言功能，同时没有额外的运行时要求，并且相对于C语言编写的应用程序和库，无需使用不同的ABI。Vala是基于GNOME的GObject系统，提供了那种你期望的类功能。与Scala一样，在语言级别上，它具有与Java Beans的get*()和set*()等同的属性，但是，对于属性更改通知和监听器（listener），它也能够提供了语言级别上的支持。它不具备很强的XML处理能力，只是一个迷你型的解析器，不过看起来它的确具有很好的Unicode功能（字符串为UTF-8，string.getch()可返回16位的unichar字符。）

Rust是Mozilla开发的注重安全、性能和并发性的系统级编程语言。创建这个新语言的目的是为了解决一个很顽疾的问题：软件的演进速度大大低于硬件的演进，软件在语言级别上无法真正利用多核计算带来的性能提升。Rust是针对多核体系提出的语言，并且吸收一些其他动态语言的重要特性，比如不需要管理内存，比如不会出现Null指针等等。

SWIFT是一款编程语言，是苹果于2014年WWDC苹果开发者大会发布的新开发语言，而且它还是第一套具有与脚本语言同样的表现力和趣味性的系统编程语言，支持iOS、OS X、watchOS等系统。[1]Swift是一款易学易用的编程语言，而且它还是第一套具有与脚本语言同样的表现力和趣味性的系统编程语言。Swift的设计以安全为出发点，以避免各种常见的编程错误类别。[1]

LISP即列表处理语言（全名：List Processor），由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。LISP的祖先是1950年代Carnegie-Mellon大学的Newell、Shaw、Simon开发的IPL语言。

Objective-C是一种主要由Stepstone公司的布莱德·考克斯(Brad Cox)和 汤姆·洛夫（Tom Love）发明的通用、高级、面向对象的编程语言，与Swift是OSX和iOS操作系统、及与其相关的API、Cocoa和Cocoa Touch的主要编程语言。Objective-C是C语言的超集，并且在提供了动态类型和延迟到运行时的绑定的同时，为对象图形管理和对象字面提供了语言层面上的支持。Objective-C扩展了标准的ANSIC编程语言，将Smalltalk式的消息传递机制加入到ANSIC中。Objective-C当前主要支持的编译器有GCC和Clang（采用LLVM作为后端）。

Scala 是一门类 Java 的编程语言，它结合了面向对象编程和函数式编程。Scala 的设计目的是要和两种主流面向对象编程语言 Java 和 C#实现无缝互操作，这两种主流语言都非纯面向对象。Scala运行在Java虚拟机上，并兼容现有的Java程序。Scala 源代码被编译成Java字节码，所以它可以运行于JVM之上，并可以调用现有的Java类库。

Groovy是一种基于JVM（Java虚拟机）的敏捷开发语言，是用于Java虚拟机的一种敏捷的动态语言。它是一种成熟的面向对象编程语言，既可以用于面向对象编程，又可以用作纯粹的脚本语言。其是JVM的一个替代语言，使用方式基本与使用Java代码的方式相同，该语言特别适合与Spring的动态语言支持一起使用。

D语言，一种通用计算机程序语言，威力强大、功能丰富，支持多种编程范式，例如面向对象。D语言最初由Digital Mars公司就职的Walter Bright于2001年发布，意图改进C++语言。目前最新D语言被简称为D2。最主要的D语言的实现是DMD。D 语言源自C/C++，借鉴了众多编程语言的特色和现代编译器技术，融会贯通了设计者丰富的实践经验，使之具备了非凡的威力－－既有 C/C++ 语言的强大威力，又有Python和Ruby的开发效率。它集众多系统级编程所需的功能于一身，例如垃圾回收、手工内存操作、契约式设计、高级模板技术、内嵌汇编、内置单元测试、Mixin 风格多继承、类 Java 包管理机制、内置同步机制、内建基本运行时信息。

壳层（英语：Shell）在计算机科学中，是指“提供用户使用界面”的软件，通常指的是命令行界面的解析器。一般来说，这个词是指操作系统中，提供访问内核所提供之服务的程序。不过这个词也拿来指应用软件，或是任何在特定组件外围的软件，例如浏览器或电子邮件软件是HTML排版引擎的shell。Shell这个词是来自于操作系统（内核）与用户界面的外层界面。通常将壳层分为两类：命令行与图形界面。命令行壳层提供一个命令行界面（CLI）；而图形壳层提供一个图形用户界面（GUI）。

C#是微软公司于2000年2月发布的一种面向对象的、运行于.NET Framework和.NET Core（完全开源，跨平台）之上的高级程序设计语言，是微软公司研究员Anders Hejlsberg的成果，是由C和C++衍生出来的面向对象的编程语言。[1]C#具有安全、稳定、简单、优雅等特点。C#又去掉了复杂特性（例如没有宏以及不允许多重继承）。C#与Java有相似又有不同，它借鉴了Delphi的一个特点，与COM（组件对象模型）是直接集成的，而且它是微软公司.NET windows网络框架的主角。C#综合了VB简单的可视化操作和C++的高运行效率，以其强大的操作能力，优雅的语法风格，创新的语言特性和便捷的面向组件编程的支持成为.NET开发的首选语言。[1]

汇编程序（英语：Assembler）指把汇编语言书写的程序翻译成与之等价的机器语言程序的翻译程序，是为特定计算机或计算机系列设计的一种面向机器的语言，由汇编执行指令和汇编伪指令组成。汇编程序的雏型是在电子离散时序自动计算机EDSAC上研制成功的，通常用于编写系统的核心部分程序，或编写需要耗费大量运行时间和实时性要求较高的程序段。汇编程序主要分为简单汇编程序、模块汇编程序、条件汇编程序、宏汇编程序、高级汇编程序几种。

Smalltalk是由Alan Kay，Dan Ingalls，Ted Kaehler等于70年代初在Xerox PARC开发的历史上第二个面向对象的程序设计语言和第一个真正的集成开发环境（IDE），被称为“面向对象编程之母”。它对Objective-C、Actor、Java等众多的程序设计语言的产生起到了极大的推动作用，90年代的许多软件开发思想得利于Smalltalk，例Design Patterns、Extreme Programming（XP）和Refactoring等。