Вийшов 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