Megjelent a GNAT Community 2020

felszabadított GNAT közösség 2020 - Ada nyelvű fejlesztési eszköztár. A csomag tartalmaz egy fordítót, egy integrált fejlesztői környezetet GNAT Stúdió, egy statikus elemző a SPARK nyelv egy részhalmazához, egy GDB hibakereső és egy sor könyvtár. Nejlonzacskó forgalmazza a GPL licenc feltételei szerint.

Nagy változások:

  • A fordító számos újítást támogatott a készülő tervezetből
    Ada nyelvi szabvány 202x.
    A háttérrendszer a GCC 9-re frissült (minden platformra, kivéve a macOS-t). Hozzáadott támogatás a RISC-V 64 platformhoz.

  • A GNAT Studio fejlesztői környezet most már használatban van
    az LSP-d
    (Language Server Protocol) az Ada nyelvhez. Ugyanezen a kiszolgálón alapul a Visual Studio Code kiterjesztése, amely már elérhető itt
    Visual Studio Marketplace.

  • В SPARK analizátor Hozzáadott támogatás a mutató tulajdonjogához (mint a Rustban), amely lehetővé teszi a memóriahibák hiányának és a memóriaszivárgások hiányának bizonyítását. A nyelv támogatott részhalmaza új konstrukciókkal bővült.

Forrás: opennet.ru

Hozzászólás