Bosque编程语言是一种在机器辅助的快速可靠软件开发生命周期中进行规范化设计的实验。

提供 50 个替代方案

Mojo 编程语言 Mojo 是由 Modular Inc. 开发的一种专用人工智能（AI）编程语言。该语言于2023年5月首次发布，旨在成为 Python 的超集，同时具备 C 语言的性能。

提供 55 个替代方案

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

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

Pony 是一种开源的、面向对象的、基于角色模型的、具备能力安全性的高性能编程语言。

Eiffel 是一种面向对象的编程语言，由伯特兰·迈耶（面向对象理念的倡导者，著有《面向对象软件构造》）和 Eiffel Software 共同设计。迈耶于 1985 年构想出该语言，旨在提高商业软件的可靠性……