Ada 语言的开发工具包已经发布 - GNAT Community Edition 2021。它包括编译器、集成开发环境 GNAT Studio、SPARK 语言子集的静态分析器、GDB 调试器和一组库。 该软件包根据 GPL 许可证分发。
新版本的编译器使用GCC 10.3.1后端并提供了许多新功能。 添加了即将推出的 Ada 202x 标准的以下创新的实现：
- Jorvik 嵌入式系统的新配置文件；
- 任意精度运算支持；
- 声明表达式；
- 使用自动类型推断重命名值；
- 子程序引用合同；
- 迭代器中的过滤器；
- 容器单位。
我们还实现了一些实验性（非标准）功能：
- return/raise/goto 语句的附加“when”；
- 模式匹配;
- 固定数组的下界；
- 对于非标记类型，使用点调用子例程。
最有可能的是，这个版本的编译器将是 GNAT 社区版版本链中的最后一个。 以后可以使用alire包管理器安装开源GCC编译的编译器。
来源： opennet.ru