Elixir

Ceylon

编程语言

Ceylon 是一种专为团队编写大型程序而设计的语言。

Jabaco

编程语言

Jabaco 是一种语法类似 Visual Basic 的简单编程语言。Jabaco 可让您为所有支持 Java 的操作系统创建强大的软件。

Vala

编程语言

Vala 是一种新的编程语言，旨在为 GNOME 开发者带来现代编程语言特性，同时不引入任何额外的运行时要求，并且与用 C 编写的应用程序和库保持相同的 ABI。

Hack

编程语言

Hack 是一种用于 HHVM 的编程语言，可与 PHP 无缝互操作。Hack 将 PHP 快速的开发周期与静态类型带来的规范性相结合，同时增加了其他现代编程语言中常见的许多特性。

X10 (programming language)

编程语言

X10编程语言围绕异步性、局部性、原子性和顺序性这四项基本原理构建，其基础是类型安全、基于类的面向对象系统。该基础足够强大，能够支持细粒度并发，以及Cilk风格的……

Quorum

编程语言

Quorum 是一种通用工具，我们称之为“基于证据”的编程语言。它最初是一种解释型语言，旨在通过屏幕阅读器为视障或视力受损用户带来更易听的体验。

Factor

编程语言

Factor编程语言结合了强大的语言特性与功能齐全的库。其实现完全编译以保证性能，同时仍支持交互式开发。Factor应用程序可在所有常见平台上移植。

Wyvern 是一种新的编程语言，旨在帮助开发者在编写高保障应用程序时大幅提升生产力。Wyvern 的首个重大创新是类型特定语言，该特性允许程序员创建指定类型的字面量（例如）