#Regulation

Ada 2022 Standard Released: New Features and Documentation Available

Startups Reporter
3 min read

The Ada 2022 standard introduces new language features and is now available as ISO/IEC 8652:2023(E), with comprehensive documentation including the Reference Manual and AARM.

The Ada programming language has reached a significant milestone with the release of the Ada 2022 standard, now officially published as ISO/IEC 8652:2023(E). This latest revision brings substantial improvements to the language while maintaining compatibility with previous versions, marking another step in Ada's evolution as a reliable language for critical systems.

The 2022 revision was developed by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG), the international committee responsible for Ada's standardization. The core document, known as the Ada Reference Manual, serves as the authoritative specification for the language and has been updated to reflect all the new features and clarifications introduced in this version.

For developers and organizations working with Ada, the most accessible entry point to understanding the changes is the Ada 2022 Overview document. Written by Jeff Cousins, this unofficial but comprehensive guide provides practical examples of new features, explains compatibility considerations with Ada 95, 2005, and 2012, and offers insights into how these changes affect existing codebases. The overview is available in both HTML and PDF formats at www.ada-auth.org.

The Ada 2022 Reference Manual itself is available in multiple formats to suit different needs. Users can browse the manual online or download it as PDF files with various levels of change highlighting - from versions showing all changes highlighted to those with only change bars or no markings at all. For those who prefer working with the source material directly, zipped HTML and text file versions are also provided. The PDF with changes highlighted (4.5 MB) is particularly useful for understanding exactly what has been modified from previous versions.

For the language implementers and those requiring the most detailed information, the Annotated Ada 2022 Language Reference Manual (AARM) provides an even deeper dive. This document includes all the text from the standard along with extensive annotations that explain design decisions, provide rationale, and offer implementation guidance. The AARM is especially valuable for compiler writers and conformance test developers who need to understand the fine details of the language specification. Like the main Reference Manual, the AARM is available for online browsing and download in multiple formats, with the PDF version with changes highlighted weighing in at 7 MB.

Beyond the core documentation, additional tools and documents are available at www.ada-auth.org, including the tools used to create the standards themselves. This transparency in the standardization process reflects the Ada community's commitment to openness and collaboration.

The release of Ada 2022 represents more than just incremental improvements - it demonstrates the language's continued relevance in an era where reliability, safety, and security are paramount. While Ada has long been associated with defense and aerospace applications, these new features make the language more accessible and powerful for a broader range of domains where correctness matters.

For existing Ada developers, the compatibility guarantees mean that code written for earlier versions should continue to work without modification, while providing clear paths to adopt new features where beneficial. This balance between innovation and stability has been a hallmark of Ada's development philosophy and continues with the 2022 revision.

The availability of comprehensive documentation, from the high-level overview to the detailed AARM, ensures that both newcomers and experienced Ada developers have the resources they need to understand and effectively use the new features. As the Ada community begins to adopt and implement these changes, the language is positioned to remain a vital tool for systems programming where failure is not an option.

Comments

Loading comments...