GNAT Community Edition 2021 har släppts

Utgiven utvecklingspaket för Ada-språket - GNAT Community Edition 2021. Paketet innehåller en kompilator, den integrerade utvecklingsmiljön GNAT Studio, en statisk analysator för delmängden av språket SPARK, debuggern GDB och ett bibliotekspaket. Paketet distribueras under GPL-licensen.

Den nya versionen av kompilatorn använder backend GCC 10.3.1 och erbjuder en rad nya funktioner. Implementeringen av följande nyheter i den kommande Ada 202x-standarden har lagts till:

• En ny profil för inbyggda system Jorvik;
• Stöd för aritmetik med godtycklig precision;
• Uttryck-deklarationer;
• Omdöpning av värden med automatisk typutledning;
• Kontrakt för referenser till underprogram;
• Filter i iteratorer;
• Aggregat för behållare.

Vi har också implementerat flera experimentella (icke-standardiserade) funktioner:

• Ytterligare "when" för operatorerna return/raise/goto;
• Mönstermatchning;
• Fast nedre gräns för array;
• Anrop av underprogram via punkt för otypade typer.

Denna version av kompilatorn blir troligtvis den sista i raden av GNAT Community Edition-releaser. Framöver kan kompilatorn, som är byggd från de öppna källkoderna för GCC, installeras med paketförvaltaren alire.

Källa: opennet.ru