Ada

软件描述

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

官方网站

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

官方认证

www.ada2012.org

安全链接HTTPS

什么是 Ada?

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

🔄 替代方案

46 个选择

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

免费 • 专有
查看详情

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

免费 • 开源
查看详情
Gleam Language

Gleam Language

编程语言, 编译器

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

免费 • 开源
查看详情

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

免费 • 专有
查看详情

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

免费 • 开源
查看详情
Pike programming language

Pike programming language

编程语言

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

免费 • 开源
查看详情
💻

Object Pascal

编程语言

Object Pascal 是一种多范式、面向对象、基于组件的通用编程语言。

免费 • 开源
查看详情
Buzz Programming Language

Buzz Programming Language

编程语言

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

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