È stato pubblicato un pacchetto di strumenti di sviluppo nel linguaggio Ada - GNAT Community Edition 2021. Include un compilatore, un ambiente di sviluppo integrato GNAT Studio, un analizzatore statico per un sottoinsieme del linguaggio SPARK, un debugger GDB e un set di librerie. Il pacchetto è distribuito sotto licenza GPL.
La nuova versione del compilatore utilizza il backend GCC 10.3.1 e fornisce una serie di nuove funzionalità. Aggiunta implementazione delle seguenti innovazioni del prossimo standard Ada 202x:
- Nuovo profilo per i sistemi embedded Jorvik;
- Supporto aritmetico di precisione arbitraria;
- Espressioni di dichiarazione;
- Rinominare i valori con inferenza automatica del tipo;
- Contratti per riferimenti a subroutine;
- Filtri negli iteratori;
- Unità per contenitori.
Abbiamo anche implementato diverse funzionalità sperimentali (non standard):
- "When" aggiuntivo per le istruzioni return/raise/goto;
- Corrispondenza di modelli;
- Corretto il limite inferiore dell'array;
- Chiamare subroutine utilizzando un punto per i tipi senza tag.
Molto probabilmente, questa versione del compilatore sarà l'ultima della catena di rilasci della GNAT Community Edition. In futuro, il compilatore compilato da GCC open source potrà essere installato utilizzando il gestore pacchetti alire.
Fonte: opennet.ru