Ada

软件描述

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

官方网站

访问软件的官方网站了解更多信息

官方认证

www.ada2012.org

安全链接HTTPS

什么是 Ada?

Ada 2012 是世界上用于构建安全、可靠软件的首选编程语言的下一代版本。
Ada 广泛应用于关键系统中,任何异常都可能导致严重后果,例如意外死亡、受伤或重大财务损失。使用 Ada 的系统包括航空电子、铁路、银行、军事和航天技术等领域。

🔄 替代方案

46 个选择
💻

Smalltalk

编程语言

Smalltalk 是一种面向对象的编程(OOP)语言。它自始至终都是基于对象的。Smalltalk 在这一方面的纯粹性和清晰性,使其成为几乎所有其他面向对象语言的原型。

免费 • 开源
查看详情
💻

Borgo Programming Language

编程语言

我希望有一种用于编写应用程序的语言,其表达能力比 Go 更强,但复杂度又低于 Rust。

免费 • 开源
查看详情

J 是一种高级通用编程语言,特别适用于数据的数学、统计和逻辑分析。它是一种强大的工具,可用于开发算法以及探索尚未充分理解的问题。

免费 • 开源
查看详情

Q#(读作Q井)是一种用于表达量子算法的专用编程语言。它最初由微软作为量子开发工具包的一部分向公众发布。

免费 • 开源
查看详情
Vely

Vely

软件

Vely 是一种通用的 C 语言框架,特别适用于网络应用。它是一款自由开源软件。C 语言程序员可以轻松、高效且富有成效地开发以往难以实现的应用程序。

免费 • 开源
查看详情

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

免费 • 开源
查看详情
上一页
下一页