Scala

V 是一种静态类型编译型编程语言，旨在构建可维护的软件。

Haxe 是一个开源工具包，基于一种现代的高级静态类型编程语言，配备先进的极速跨平台编译器、完整的跨平台标准库，以及访问各平台原生功能的方法。

Dart（最初称为Dash）是由谷歌开发的一种Web编程语言。它于2011年10月10日至12日在奥胡斯举行的GOTO大会上首次发布。Dart的目标是“最终取代JavaScript，成为开放网络平台上Web开发的通用语言”。

F# 是一种简洁、富有表现力且高效的 .NET 功能性与面向对象语言，可帮助您编写简单的代码来解决复杂问题。

Clojure 是一种动态编程语言，针对 Java 虚拟机（以及 CLR）而设计。它旨在成为一种通用语言，兼具脚本语言的易用性和交互式开发特性，同时提供高效且稳健的基础架构……

Groovy 是一种适用于 Java 虚拟机（JVM）的敏捷动态语言。

Elixir 是一种动态、函数式语言，用于构建可扩展且易于维护的应用程序。

一种并发函数式语言，内建支持容错、分布式和热插拔，专为电信、银行、电子商务和即时通讯等可扩展实时系统设计。具备垃圾回收和动态类型特性。