Вийшов GNAT Community Edition 2021

Опубліковано пакет засобів розробки мовою Ада — GNAT Community Edition 2021. До складу входить компілятор, інтегроване середовище розробника GNAT Studio, статичний аналізатор підмножини мови SPARK, налагоджувач GDB та набір бібліотек. Пакет розповсюджується під ліцензією GPL.

Нова версія компілятора використовує бекенд GCC 10.3.1 та надає низку нових можливостей. Додано реалізацію наступних нововведень майбутнього стандарту Ада 202х:

  • Новий профіль для вбудованих систем Jorvik;
  • Підтримка арифметики із довільною точністю;
  • Вирази-оголошення;
  • Перейменування значень із автоматичним виведенням типів;
  • Контракти для посилань на підпрограми;
  • Фільтри в ітераторах;
  • Агрегати для контейнерів.

Також реалізували кілька експериментальних (не стандартних) можливостей:

  • Додатковий "when" для операторів return/raise/goto;
  • Зіставлення з шаблоном;
  • Фіксована нижня межа масиву;
  • Виклик підпрограм через точку для типових типів.

Швидше за все, дана версія компілятора буде останньою в ланцюжку релізів GNAT Community Edition. Надалі компілятор, зібраний з відкритих вихідних текстів GCC, можна буде встановити за допомогою пакетного менеджера alire.

Джерело: opennet.ru

Додати коментар або відгук