Вышел GNAT Community 2020

in #ru • 4 years ago

Вышел 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), что позволяет доказывать отсутствие ошибок работы с памятью и отсутствие утечки памяти. Поддерживаемое подмножество языка было расширено новыми конструкциями.

Источник: https://www.opennet.ru/opennews/art.shtml?num=53055

#opennet #it #news #opensource
4 years ago in #ru by
$0.00
    Reply 0

    Coin Marketplace

    STEEM 0.19
    TRX 0.15
    JST 0.029
    BTC 63220.55
    ETH 2560.85
    USDT 1.00
    SBD 2.80