Rust

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

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

D 是一种具有类似 C 语法和静态类型的语言。它实际地结合了效率、控制力和建模能力，同时兼顾安全性和程序员的生产力。

用于开发iOS、macOS、watchOS、tvOS和visionOS应用的开源编程语言，具有安全性、高效性、类型推断、泛型、原生代码编译、面向协议的设计、内存管理、Playgrounds、包管理器以及与Objective-C的互操作性。

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

Haskell 是一种先进的纯函数式编程语言。作为二十多年前沿研究的开源成果，它能够快速开发出健壮、简洁且正确的软件。

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

Ada 2012 是世界上领先的编程语言的下一代，用于构建安全、可靠且可信的软件。