Komunita GNAT 2020 je vonku

Prišiel Komunita GNAT 2020 - vývojový súbor nástrojov v jazyku Ada. Balík obsahuje kompilátor, integrované vývojové prostredie Štúdio GNAT, statický analyzátor pre podmnožinu jazyka SPARK, ladiaci program GDB a sadu knižníc. Plastový sáčok distribuovaný za podmienok licencie GPL.

Hlavné zmeny:

• Kompilátor pridal podporu pre mnohé inovácie z pripravovaného návrhu
  Jazyková norma Ada 202x.
  Backend bol aktualizovaný na GCC 9 (pre všetky platformy okrem macOS). Pridaná podpora pre platformu RISC-V 64.

• Teraz sa používa vývojové prostredie GNAT Studio
  vaše LSP
  (Language Server Protocol) pre jazyk Ada. Na rovnakom serveri bolo implementované rozšírenie pre Visual Studio Code, ktoré je teraz dostupné v
  Visual Studio Marketplace.

• В SPARK analyzátor Pridaná podpora pre vlastníctvo ukazovateľa (ako v Rust), ktorá vám umožňuje preukázať absenciu chýb pamäte a absenciu úniku pamäte. Podporovaná podmnožina jazyka bola rozšírená o nové konštrukty.

Zdroj: opennet.ru