Er is een pakket ontwikkelhulpmiddelen in de Ada-taal gepubliceerd - GNAT Community Edition 2021. Het bevat een compiler, een geïntegreerde ontwikkelomgeving GNAT Studio, een statische analysator voor een subset van de SPARK-taal, een GDB-debugger en een reeks bibliotheken. Het pakket wordt gedistribueerd onder de GPL-licentie.
De nieuwe versie van de compiler maakt gebruik van de GCC 10.3.1-backend en biedt een aantal nieuwe functies. Implementatie toegevoegd van de volgende innovaties van de komende Ada 202x-standaard:
- Nieuw profiel voor embedded systemen van Jorvik;
- Willekeurige precisie rekenkundige ondersteuning;
- Verklaringsuitdrukkingen;
- Waarden hernoemen met automatische type-inferentie;
- Contracten voor verwijzingen naar subroutines;
- Filters in iteratoren;
- Eenheden voor containers.
We hebben ook verschillende experimentele (niet-standaard) functies geïmplementeerd:
- Extra "when" voor return/raise/goto-instructies;
- Patroonaanpassing;
- Vaste ondergrens van de array;
- Subroutines aanroepen met een punt voor niet-gelabelde typen.
Hoogstwaarschijnlijk zal deze versie van de compiler de laatste zijn in de reeks releases van de GNAT Community Edition. In de toekomst kan de compiler die is samengesteld uit open source GCC worden geïnstalleerd met behulp van de Alire-pakketbeheerder.
Bron: opennet.ru