Ada

软件描述

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

官方网站

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

官方认证

www.ada2012.org

安全链接HTTPS

什么是 Ada?

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

🔄 替代方案

46 个选择
PureScript

PureScript

编程语言

PureScript 最初由 Phil Freeman 于 2013 年设计。他开始开发 PureScript 是因为他对其他将 Haskell 编译为 JavaScript 的尝试(例如使用 Fay、Haste 或 GHCJS)不满意。

免费 • 开源
查看详情

Odin编程语言运行快速、简洁易读、实用且开源。其设计旨在取代C语言,目标如下:

免费 • 开源
查看详情

Nelua是一种用于性能敏感应用的系统编程语言,例如实时应用和游戏引擎。其语法和语义与Lua相似,但垃圾回收是可选的,它提供可选的类型标注,并且不受……限制。

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

Beef Programming Language

编程语言

Beef 是一种开源的、面向性能的编译型编程语言,其开发与集成开发环境(IDE)同步进行。

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

Eiffel (programming language)

编程语言

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

免费 • 开源
查看详情

Ceylon 是一种专为团队编写大型程序而设计的语言。

免费 • 开源
查看详情

Jabaco 是一种语法类似 Visual Basic 的简单编程语言。Jabaco 可让您为所有支持 Java 的操作系统创建强大的软件。

免费 • 专有
查看详情

PagerGPT 是一款无需编码的 AI 代理平台,专为中小企业、初创企业和企业打造,用于创建客户支持和销售用的 AI 代理。几分钟内即可构建并部署 AI 代理,训练数据可来自您的网站、文档、知识库或应用程序。

免费增值 • 专有
查看详情
上一页下一页