Выйшаў GNAT Community 2020

Выйшаў GNAT Community 2020 - пакет сродкаў распрацоўкі на мове Ада. У склад пакета ўваходзіць кампілятар, інтэграванае асяроддзе распрацоўніка GNAT Studio, статычны аналізатар падмноства мовы SPARK, адладчык GDB і набор бібліятэк. Пакет распаўсюджваецца на ўмовах ліцэнзіі GPL.

Асноўныя змены:

  • У кампілятар дададзена падтрымка мноства новаўвядзенняў з чарнавіка будучыні
    стандарту мовы Ада 202х.
    Бакэнд быў абноўлены да GCC 9 (для ўсіх платформаў, акрамя macOS). Дададзена падтрымка платформы RISC-V 64.

  • Серада распрацоўкі GNAT Studio зараз выкарыстоўвае
    свой LSP
    (Language Server Protocol) для мовы Ада. На аснове гэтага ж сервера рэалізавана пашырэнне для Visual Studio Code, зараз даступнае ў
    Visual Studio Marketplace.

  • В аналізатар SPARK дададзена падтрымка валодання паказальнікамі (як у Rust), што дазваляе даказваць адсутнасць памылак працы з памяццю і адсутнасць уцечкі памяці. Падтрымоўванае падмноства мовы было пашырана новымі канструкцыямі.

Крыніца: opennet.ru

Дадаць каментар