Objavljen GNAT Community 2020

Izšel je GNAT Community 2020 — razvojni paket za Ada programski jezik. Paket uključuje prevodilac, integrirano razvojno okruženje GNAT Studio, statički analizator podskupa jezika SPARK, GDB debager i set biblioteka. Paket se distribuira je dostupan pod GPL licencom.

Glavne spremembe:

• Prevodiocu je dodana podrška za brojne novitete iz nacrta budućeg
  standard jezika Ada 202x.
  Backend je ažuriran na GCC 9 (za sve platforme osim macOS-a). Dodata je podrška za RISC-V 64 platformu.
• Razvojno okruženje GNAT Studio sada koristi
  svoj LSP
  (Language Server Protocol) za Ada. Na osnovu iste podrške je razvijen dodatak za Visual Studio Code, sada dostupan u
  Visual Studio Marketplace.
• V analizator SPARK dodana je podrška za vlasništvo pokazivača (kao u Rust-u), što omogućava dokazivanje odsustva grešaka u radu s memorijom i odsustvo curenja memorije. Podskup jezika je proširen novim konstrukcijama.

Izvor: opennet.ru