Ada

软件描述

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

官方网站

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

官方认证

www.ada2012.org

安全链接HTTPS

什么是 Ada?

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

🔄 替代方案

46 个选择
Nim (programming language)

Nim (programming language)

编程语言, 编译器

5

Nim 是一种静态类型、过程式编程语言,拥有强大的宏系统,旨在不牺牲运行时效率的前提下赋予程序员终极控制力。

免费 • 开源
查看详情
V (programming language)

V (programming language)

编程语言, 编译器

5

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

免费 • 开源
查看详情

Ruby 是一种动态、反射性、通用的面向对象编程语言,其语法受 Perl 启发,同时具备类似 Smalltalk 的特性。Ruby 于 20 世纪 90 年代中期起源于日本,最初由松本行弘(Matz)开发和设计。

免费 • 开源
查看详情
D (Programming Language)

D (Programming Language)

编程语言

5

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

免费 • 开源
查看详情
F# (programming language)

F# (programming language)

编程语言

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

免费 • 开源
查看详情
Crystal (programming language)

Crystal (programming language)

编程语言, 编译器

一种具有 Ruby 风格语法、可编译为高效原生代码的编程语言。

免费 • 开源
查看详情
3.5

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

免费 • 开源
查看详情
5

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

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