Ada

软件描述

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

官方网站

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

官方认证

www.ada2012.org

安全链接HTTPS
立即访问

什么是 Ada?

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

🔄 替代方案

46 个选择
3

ASP.NET 是一个开源的服务器端 Web 应用框架,专为 Web 开发设计,可使用 HTML、CSS 和 JavaScript 创建动态网页、网站、应用和服务。您还可以创建 Web API、移动站点,使用 WebSocket 等实时技术!

5

GDScript 是一种高级动态类型编程语言,用于创建内容。其语法类似于 Python。

0

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

4

HolyC与普通的C语言非常相似,因此它是一种简单而强大的语言。它被用于构建了整个TempleOS,所以毫无疑问它可以用来编写程序。

0

Scala 是一种基于 Java 虚拟机(JVM)的现代多范式编程语言,旨在以简洁、优雅且类型安全的方式表达常见的编程模式。

Roc Programming Language

Roc Programming Language

0

一种快速、友好且功能强大的语言。

Objective-C

Objective-C

0

Objective-C 语言是一种简单的计算机语言,旨在实现复杂的面向对象编程。Objective-C 被定义为对标准 ANSI C 语言的一组小型但功能强大的扩展。

5

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

上一页下一页