GNAT Community 2020 излезе

Излезе GNAT Общността 2020 - инструментариум за разработка на езика Ada. Пакетът включва компилатор, интегрирана среда за разработка Студио GNAT, статичен анализатор за подгрупа на езика SPARK, GDB дебъгер и набор от библиотеки. Найлонов плик разпространява се от съгласно условията на GPL лиценза.

Основни промени:

  • Компилаторът е добавил поддръжка за много нововъведения от предстоящата чернова
    Езиков стандарт Ada 202x.
    Бекендът е актуализиран до GCC 9 (за всички платформи с изключение на macOS). Добавена е поддръжка за платформата RISC-V 64.

  • Средата за разработка GNAT Studio вече използва
    вашият LSP
    (Language Server Protocol) за езика Ada. Въз основа на същия сървър е внедрено разширение за Visual Studio Code, което вече е достъпно в
    Пазаруване на Visual Studio.

  • В SPARK анализатор Добавена е поддръжка за собственост на указател (както в Rust), което ви позволява да докажете липсата на грешки в паметта и липсата на изтичане на памет. Поддържаното подмножество на езика е разширено с нови конструкции.

Източник: opennet.ru

Добавяне на нов коментар