Vyšel GNAT Community 2020

Byl vydán GNAT Community 2020 — balík nástrojů pro vývoj v jazyce Ada. Obsahuje překladač, integrované vývojové prostředí GNAT Studio, statický analyzátor podmnožiny jazyka SPARK, debugger GDB a sadu knihoven. Balík distribuováno je dostupný pod licencí GPL.

Hlavní změny:

  • Překladač nyní podporuje řadu novinek z návrhu nadcházející
    normy jazyka Ada 202x.
    Backend byl aktualizován na GCC 9 (pro všechny platformy kromě macOS). Přidána podpora pro platformu RISC-V 64.
  • Vývojové prostředí GNAT Studio nyní používá
    svůj LSP
    (Language Server Protocol) pro jazyk Ada. Na základě tohoto serveru bylo implementováno rozšíření pro Visual Studio Code, nyní dostupné v
    Visual Studio Marketplace.
  • V analyzátor SPARK byla přidána podpora vlastnictví ukazatelů (jako v Rustu), což umožňuje prokazovat absenci chyb při práci s pamětí a chybějících úniků paměti. Podporovaná podmnožina jazyka byla rozšířena o nové konstrukce.

Zdroj: opennet.ru

Koupit spolehlivý hosting pro webové stránky s ochranou proti DDoS, VPS VDS servery 🔥 Koupit spolehlivý hosting pro webové stránky s ochranou proti DDoS, VPS VDS servery | ProHoster