Vydanie GNAT Community 2020

Vyšiel GNAT Community 2020 — balík nástrojov na vývoj v jazyku Ada. Obsahuje kompilátor, integrované vývojové prostredie GNAT Studio, statický analyzátor podmnožiny jazyka SPARK, ladenie pomocou GDB a súbor knižníc. Balík distribuovaný sa poskytuje na základe licencie GPL.

Hlavné zmeny:

  • Kompilátor bol rozšírený o podporu viacerých noviniek z návrhu budúcej
    normy jazyka Ada 202x.
    Backend bol aktualizovaný na GCC 9 (pre všetky platformy okrem macOS). Pridaná podpora platformy RISC-V 64.
  • Vývojové prostredie GNAT Studio teraz používa
    svoj LSP
    (Language Server Protocol) pre jazyk Ada. Na základe toho istého servera bolo vytvorené rozšírenie pre Visual Studio Code, ktoré je teraz dostupné v
    Visual Studio Marketplace.
  • V analyzátor SPARK pridaná podpora vlastníctva ukazovateľov (ako v Rust), čo umožňuje dokázať neprítomnosť chýb v práci s pamäťou a neprítomnosť únikov pamäte. Podporovaná podmnožina jazyka bola rozšírená o nové konštrukcie.

Zdroj: opennet.ru

Kúpte si spoľahlivý hosting pre webové stránky s ochranou proti DDoS, VPS VDS servery 🔥 Kúpte si spoľahlivý hosting pre webové stránky s ochranou proti DDoS, VPS VDS servery | ProHoster