Het pakket voor de ontwikkeling in de programmeertaal Ada is uitgebracht – GNAT Community Edition 2021. Het bevat een compiler, de geïntegreerde ontwikkelomgeving GNAT Studio, een statische analysetool voor een subset van de taal SPARK, de debugger GDB en een set bibliotheken. Het pakket wordt verspreid onder de GPL-licentie.
De nieuwe versie van de compiler gebruikt de backend GCC 10.3.1 en biedt een reeks nieuwe mogelijkheden. De implementatie van de volgende innovaties van de aankomende Ada 202x-standaard is toegevoegd:
- Een nieuw profiel voor embedded systemen Jorvik;
- Ondersteuning voor arithmetica met variabele precisie;
- Declaratie-expressies;
- Hernamen van waarden met automatische type-inferentie;
- Contracten voor verwijzingen naar subprogramma's;
- Filters in iterators;
- Aggregaten voor containers.
Ook zijn er verschillende experimentele (niet-standaard) mogelijkheden geïmplementeerd:
- Een extra 'when' voor de operatoren return/raise/goto;
- Patroonmatching;
- Vaste ondergrenzen voor arrays;
- Aanroepen van subprogramma's via een punt voor niet-type-gerelateerde types.
Waarschijnlijk zal deze versie van de compiler de laatste zijn in de reeks releases van GNAT Community Edition. In de toekomst kan de compiler, samengesteld uit de open-source code van GCC, worden geïnstalleerd met de pakketbeheerder alire.
Bron: opennet.ru
