Le paquet d'outils de développement du langage Ada - GNAT Community Edition 2021 a été publié. Il comprend le compilateur, l'environnement de développement intégré GNAT Studio, un analyseur statique pour un sous-ensemble du langage SPARK, le débogueur GDB et un ensemble de bibliothèques. Le paquet est distribué sous la licence GPL.
La nouvelle version du compilateur utilise le backend GCC 10.3.1 et offre plusieurs nouvelles fonctionnalités. Elle intègre la mise en œuvre des nouvelles fonctionnalités du futur standard Ada 202x :
- Un nouveau profil pour les systèmes embarqués Jorvik ;
- Support de l'arithmétique à précision arbitraire ;
- Déclarations d'expressions ;
- Renommage des valeurs avec déduction automatique des types ;
- Contrats pour les références aux sous-programmes ;
- Filtres dans les itérateurs ;
- Agrégats pour les conteneurs.
De plus, plusieurs fonctionnalités expérimentales (non standard) ont été mises en œuvre :
- Un « when » supplémentaire pour les opérateurs return/raise/goto ;
- Correspondance avec un modèle ;
- Limite inférieure fixe du tableau ;
- Appel de sous-programmes via un point pour les types non étiquetés.
Probablement, cette version du compilateur sera la dernière de la série de versions de GNAT Community Edition. À l'avenir, le compilateur construit à partir des sources ouvertes de GCC pourra être installé à l'aide du gestionnaire de paquets alire.
Source : opennet.ru
