Ein Paket von Entwicklungstools in der Ada-Sprache wurde veröffentlicht – GNAT Community Edition 2021. Es umfasst einen Compiler, eine integrierte Entwicklungsumgebung GNAT Studio, einen statischen Analysator für eine Teilmenge der SPARK-Sprache, einen GDB-Debugger und eine Reihe von Bibliotheken. Das Paket wird unter der GPL-Lizenz vertrieben.
Die neue Version des Compilers nutzt das GCC 10.3.1-Backend und bietet eine Reihe neuer Funktionen. Implementierung der folgenden Neuerungen des kommenden Ada 202x-Standards hinzugefügt:
- Neues Profil für Jorvik-Embedded-Systeme;
- Unterstützung für willkürliche Präzisionsarithmetik;
- Deklarationsausdrücke;
- Werte mit automatischer Typinferenz umbenennen;
- Verträge für Verweise auf Unterprogramme;
- Filter in Iteratoren;
- Einheiten für Container.
Wir haben auch mehrere experimentelle (nicht standardmäßige) Funktionen implementiert:
- Zusätzliches „wann“ für Return/Raise/Goto-Anweisungen;
- Mustervergleich;
- Feste untere Grenze des Arrays;
- Aufrufen von Unterroutinen mit einem Punkt für nicht getaggte Typen.
Höchstwahrscheinlich wird diese Version des Compilers die letzte in der Reihe der GNAT Community Edition-Veröffentlichungen sein. Zukünftig kann der aus Open Source GCC kompilierte Compiler mit dem Paketmanager Alire installiert werden.
Source: opennet.ru