Iznāca GNAT Community 2020

Izlaida GNAT Community 2020 — Ada programmēšanas valodas izstrādes rīku komplekts. Komplektā ietilpst kompilators, integrētā izstrādes vide GNAT Studio, statiskā analīze SPARK valodas apakškopai, GDB atkļūdošanas rīks un bibliotēku komplekts. Šis komplekts tiek izplatīts ir pieejams saskaņā ar GPL licenci.

Galvenās izmaiņas:

• Kompilatorā ir pievienota daudz jaunu funkciju atbalsts no gaidāmā
  Ada valodas standarta 202x.
  Backend ir atjaunināts līdz GCC 9 (visām platformām, izņemot macOS). Papildus ir pievienots RISC-V 64 platformas atbalsts.
• GNAT Studio izstrādes vide tagad izmanto
  savu LSP
  (Language Server Protocol) Ada valodai. Uz šī paša servera ir īstenota paplašinājums priekš Visual Studio Code, tagad pieejams
  Visual Studio Marketplace.
• No SPARK analīze ir pievienots rādītāju īpašumtiesību atbalsts (kā Rust), kas ļauj pierādīt, ka nav atmiņas kļūdu un atmiņas noplūžu. Atbalstītā valodas apakškopa ir paplašināta ar jaunām konstrukcijām.

Avots: opennet.lv