Ada

Wolfram语言是一种符号语言，专为具备开发强大程序所需的广度和统一性而设计。通过集成高级形式（如Image、GeoPolygon或Molecule）以及先进的超函数（如ImageIdentify或...）

P 是由微软和加州大学伯克利分校共同开发的一种用于异步事件驱动编程和物联网的编程语言。

一种用于构建类型安全、可扩展系统的友好语言。

M# 是一套用于快速 Web 应用开发的工具集。 M# 通过自动化管理 90% 的代码，消除大多数人为错误，已被证明可生成更优、更安全、更可靠的代码，速度至少提升 4 倍。

Mussel 是一种用 Rust 编写的解释型编程语言。它被设计为一种简单灵活的语言，注重易读的语法和强大的表达式求值能力。Mussel 支持基本数据类型、变量绑定、函数、闭包、控制流……

Pike 是一种动态编程语言，其语法类似于 Java 和 C。它易于学习，无需长时间的编译过程，并且具有强大的内置数据类型，能够实现简单而高效的数据显示与操作。

一种用Zig编写的轻量级静态类型脚本语言。