Ada_Ru форум

Обсуждение языка Ада

[ada_ru] Вышел GNAT Community 2020

Оставить новое сообщение

Сообщения

Maxim Reznik
[ada_ru] Вышел GNAT Community 2020
2020-05-30 11:57:00

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

 

Новость в AdaCode Blogs: https://blog.adacore.com/gnat-community-2020-is-here

Новость на opennet.ru: https://www.opennet.ru/opennews/art.shtml?num=53055

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти