Un package d'outils de développement en langage Ada a été publié - GNAT Community Edition 2021. Il comprend un compilateur, un environnement de développement intégré GNAT Studio, un analyseur statique pour un sous-ensemble du langage SPARK, un débogueur GDB et un ensemble de bibliothèques. Le package est distribué sous licence GPL.
La nouvelle version du compilateur utilise le backend GCC 10.3.1 et fournit un certain nombre de nouvelles fonctionnalités. Ajout de l'implémentation des innovations suivantes de la prochaine norme Ada 202x :
- Nouveau profil pour les systèmes embarqués Jorvik ;
- Prise en charge arithmétique de précision arbitraire ;
- Expressions de déclaration ;
- Renommer les valeurs avec inférence de type automatique ;
- Contrats de références aux sous-programmes ;
- Filtres dans les itérateurs ;
- Unités pour conteneurs.
Nous avons également implémenté plusieurs fonctionnalités expérimentales (non standard) :
- « quand » supplémentaire pour les instructions return/raise/goto ;
- Correspondance de modèles ;
- Correction de la limite inférieure du tableau ;
- Appel de sous-programmes à l'aide d'un point pour les types non balisés.
Très probablement, cette version du compilateur sera la dernière de la chaîne des versions de GNAT Community Edition. À l'avenir, le compilateur compilé à partir de GCC open source pourra être installé à l'aide du gestionnaire de packages alire.
Source: opennet.ru