Ada 2022: Nuevo estándar para programación segura

La norma Ada 2022 ha sido publicada como estándar internacional ISO/IEC 8652:2023(E) por el grupo de expertos ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG). Esta revisión, basada en el Ada Reference Manual, introduce nuevas características y actualizaciones al lenguaje de programación Ada, diseñado originalmente para sistemas críticos y de alta fiabilidad. Ada 2022 es relevante porque proporciona una evolución del lenguaje, ofreciendo mejoras en la seguridad, eficiencia y expresividad para desarrolladores. Un documento complementario, creado por Jeff Cousins, ofrece una visión general de las diferencias entre versiones anteriores de Ada (95, 2005, 2012) y la nueva versión, incluyendo ejemplos de uso y compatibilidad. Además de la norma principal, se han publicado el Ada Reference Manual y el Annotated Ada Reference Manual (AARM), dirigidos a desarrolladores de compiladores y probadores de conformidad, que contienen el texto completo de la norma y sus anotaciones. La documentación completa y herramientas relacionadas están disponibles en www.ada-auth.org.