È uscita la GNAT Community Edition 2021

È stato pubblicato il pacchetto di strumenti di sviluppo in Ada — GNAT Community Edition 2021. Questo pacchetto include il compilatore, l'ambiente di sviluppo integrato GNAT Studio, un analizzatore statico per il sottogruppo del linguaggio SPARK, il debugger GDB e un insieme di librerie. Il pacchetto è distribuito sotto la licenza GPL.

La nuova versione del compilatore utilizza il backend GCC 10.3.1 e offre una serie di nuove funzionalità. È stata aggiunta l'implementazione delle seguenti novità del futuro standard Ada 202x:

  • Un nuovo profilo per sistemi embedded Jorvik;
  • Supporto per l'aritmetica ad alta precisione;
  • Dichiarazioni-espressione;
  • Rinominare valori con inferenza automatica dei tipi;
  • Contratti per riferimenti a sottoprogrammi;
  • Filtri negli iteratori;
  • Aggregati per contenitori.

Sono state implementate anche alcune funzionalità sperimentali (non standard):

  • Ulteriore «when» per gli operatori return/raise/goto;
  • Pattern matching;
  • Limite inferiore fisso per gli array;
  • Chiamata di sottoprogrammi tramite punto per tipi non taggati.

Probabilmente, questa versione del compilatore sarà l'ultima della serie di rilascio della GNAT Community Edition. In futuro, il compilatore costruito a partire dai sorgenti aperti di GCC potrà essere installato utilizzando il gestore di pacchetti alire.

Fonte: opennet.ru

Acquista hosting affidabile per siti web con protezione DDoS, server VPS VDS 🔥 Acquista hosting affidabile per siti web con protezione DDoS, server VPS VDS | ProHoster