Ett paket med utvecklingsverktyg i Ada-språket har publicerats - GNAT Community Edition 2021. Det inkluderar en kompilator, en integrerad utvecklingsmiljö GNAT Studio, en statisk analysator för en delmängd av SPARK-språket, en GDB-debugger och en uppsättning bibliotek. Paketet distribueras under GPL-licensen.
Den nya versionen av kompilatorn använder GCC 10.3.1 backend och ger ett antal nya funktioner. Lade till implementering av följande innovationer av den kommande Ada 202x-standarden:
- Ny profil för Jorviks inbyggda system;
- Godtycklig precision aritmetisk stöd;
- Deklarationsuttryck;
- Byta namn på värden med automatisk typinferens;
- Kontrakt för referenser till subrutiner;
- Filter i iteratorer;
- Enheter för containrar.
Vi implementerade också flera experimentella (icke-standard) funktioner:
- Ytterligare "när" för retur/höjning/goto uttalanden;
- Mönstermatchning;
- Fast nedre gräns för arrayen;
- Anropa subrutiner med hjälp av en punkt för icke-taggade typer.
Troligtvis kommer denna version av kompilatorn att vara den sista i kedjan av GNAT Community Edition-utgåvor. I framtiden kan kompilatorn som kompilerats från GCC med öppen källkod installeras med hjälp av alire-pakethanteraren.
Källa: opennet.ru