GNAT Community 2020 is uit

Uit gekom GNAT-gemeenskap 2020 - 'n ontwikkelingshulpmiddelstel in die Ada-taal. Die pakket sluit 'n samesteller, 'n geïntegreerde ontwikkelingsomgewing in GNAT Studio, 'n statiese ontleder vir 'n subset van die SPARK-taal, 'n GDB-ontfouter en 'n stel biblioteke. Plastiese sak versprei deur onder die bepalings van die GPL-lisensie.

Belangrikste veranderinge:

• Die samesteller het ondersteuning bygevoeg vir baie innovasies uit die komende konsep
  Ada taalstandaard 202x.
  Die agterkant is opgedateer na GCC 9 (vir alle platforms behalwe macOS). Bygevoeg ondersteuning vir die RISC-V 64 platform.

• Die GNAT Studio-ontwikkelingsomgewing gebruik nou
  jou LSP
  (Language Server Protocol) vir die Ada-taal. Gebaseer op dieselfde bediener, is 'n uitbreiding vir Visual Studio Code geïmplementeer, nou beskikbaar in
  Visual Studio Marketplace.

• В SPARK ontleder Bygevoeg ondersteuning vir wyser eienaarskap (soos in Rust), wat jou toelaat om die afwesigheid van geheue foute en die afwesigheid van geheue lekkasies te bewys. Die ondersteunde subset van die taal is uitgebrei met nuwe konstrukte.

Bron: opennet.ru