```Ada 2022``` 艾达2022

```Ada 2022``` 艾达2022
Ada 2022

原始链接: https://www.adaic.org/ada-resources/standards/ada22/

Ada 2022修订版，正式发布为ISO/IEC 8652:2023(E)，更新了Ada编程语言标准。由Ada报告组（ARG）开发，它建立在以前的版本之上，例如Ada 2012。主要资源可在www.ada-auth.org在线获取，包括官方的**Ada 2022参考手册（RM）**——标准的来源——以及Jeff Cousins撰写的**Ada 2022概述**。概述详细介绍了新特性、用法示例以及与旧Ada版本（95、2005和2012）的兼容性信息。对于需要深入分析的人员，**注释的Ada 2022语言参考手册（AARM）**提供了完整的LRM文本以及详细的注释，对于编译器和测试工具开发者尤其有用。该网站还托管用于标准创建的其他文档和工具。

## Ada编程语言讨论 - 摘要最近Hacker News上围绕Ada编程语言（adaic.org）展开讨论，尤其是在Ada 2022发布后。虽然Ada经常与遗留系统联系在一起，但许多评论员强调了它在现代安全关键应用中的持续使用。关键点包括Ada在航空航天、国防和汽车行业中的优势——在这些行业中可靠性至关重要——以及它用于需要高完整性的项目。用户欣赏Ada能够防止常见的编程错误，并且通常发现调试比使用C++等语言更省时。Ada的SPARK子集，及其契约和静态证明，被特别提及为大量单元测试的潜在替代方案。然而，挑战依然存在，包括相对较小的免费软件库生态系统以及可能繁琐的工具，尤其是在重构方面。尽管存在这些缺点，开发者仍然选择Ada用于对鲁棒性和正确性至关重要的项目，甚至包括像树莓派这样的微控制器应用。

原文

Ada 2022 Documents

The documents on this page describe the 2022 revision to the Ada Standard, usually known as Ada 2022. The revisions were produced by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG), and have been published as the International Standard ISO/IEC 8652:2023(E). The document used as the source material for the Standard is known as the Ada Reference Manual. Related documents are also found on this page.

Earlier versions of the Ada Standard, including the (now replaced) Ada 2012 consolidated standard, can be found here.

For an introduction to the differences between earlier versions of Ada and Ada 2022, see the Ada 2022 Overview. This is an unofficial document that provides an overview of new Ada 2022 features, examples of their use, compatibility with Ada 95, 2005, and 2012, and more. It was written by Jeff Cousins.

Ada 2022 Reference Manual

The 2022 Edition of the Ada Reference Manual, corresponding to the International Standard (ISO/IEC 8652:2023(E)). (Differences from the International Standard are outlined in the Introduction.) The Ada 2022 RM can be browsed online.

Also available for download as:

Ada 2022 Overview

This document provides an overview of Ada 2022 features, examples of their use, compilatibility with Ada 95, 2005, and 2012, and more. It was written by Jeff Cousins. It is available in HTML and PDF formats at www.ada-auth.org.

Annotated Ada 2022 Language Reference Manual (AARM)

Intended primarily for compiler writers, conformance test writers, and others who wish to study the fine details, the AARM contains all of the text and various annotations in the Ada 2022 LRM. This 2022 edition includes the all of the changes in the 4th Edition of the Ada Reference Manual as well as new and revised annotations. The Ada 2022 AARM can be browsed online.

Also available for download as:

Additional Documents

Additional documents and tools are available at www.ada-auth.org, including the tools used to create the Standards.