Нашри Community GNAT 2021 бароварда шуд

Маҷмӯи абзорҳои рушд бо забони Ada нашр шудааст - GNAT Community Edition 2021. Он компилятор, муҳити ҳамгирошудаи таҳияи GNAT Studio, таҳлилгари статикӣ барои зермаҷмӯи забони SPARK, ислоҳкунандаи GDB ва маҷмӯи китобхонаҳоро дар бар мегирад. Баста тибқи иҷозатномаи GPL паҳн карда мешавад.

Версияи нави компилятор пуштибонии GCC 10.3.1-ро истифода мебарад ва як қатор хусусиятҳои навро таъмин мекунад. Татбиқи иловагии навовариҳои зерини стандарти Ada 202x:

  • Профили нав барои системаҳои дарунсохт Jorvik;
  • Дастгирии арифметикии дақиқи худсарона;
  • Изҳороти эъломия;
  • Тағйир додани номи арзишҳо бо хулосаи навъи худкор;
  • Шартномаҳо барои истинод ба зерпрограммаҳо;
  • Филтрҳо дар итераторҳо;
  • Воҳидҳо барои контейнерҳо.

Мо инчунин якчанд хусусиятҳои таҷрибавӣ (ғайристандартӣ) амалӣ кардем:

  • Иловаи "вақте" барои изҳороти бозгашт/баланд/баровардан;
  • Мутобиқати намуна;
  • Сарҳади поёнии массив собит;
  • Занг задан ба зерпрограммаҳо бо истифода аз нуқта барои навъҳои тамғанашуда.

Эҳтимол, ин версияи компилятор охирин дар силсилаи нашрҳои GNAT Community Edition хоҳад буд. Дар оянда, компилятори аз GCC манбаи кушода тартибдодашударо бо истифода аз мудири бастаи alire насб кардан мумкин аст.

Манбаъ: opennet.ru

Илова Эзоҳ