GNAT Community 2020-ն ավարտված է

Փոխարինել GNAT համայնք 2020 - զարգացման գործիքակազմ Ada լեզվով: Փաթեթը ներառում է կոմպիլյատոր, ինտեգրված զարգացման միջավայր GNAT ստուդիա, SPARK լեզվի ենթաբազմության ստատիկ անալիզատոր, GDB կարգաբերիչ և գրադարանների մի շարք: Պլաստիկ տոպրակ տարածվում է GPL լիցենզիայի պայմաններով:

Խոշոր փոփոխություններ.

  • Կազմողն ավելացրել է աջակցություն գալիք նախագծի բազմաթիվ նորամուծությունների համար
    Ada լեզվի ստանդարտ 202x.
    Backend-ը թարմացվել է GCC 9-ի (բոլոր հարթակների համար, բացառությամբ macOS-ի): Ավելացվել է աջակցություն RISC-V 64 հարթակի համար:

  • GNAT Studio-ի մշակման միջավայրն այժմ օգտագործում է
    ձեր LSP
    (Language Server Protocol) Ada լեզվի համար: Նույն սերվերի հիման վրա ներդրվել է Visual Studio Code-ի ընդլայնում, որն այժմ հասանելի է Հայաստանում
    Visual Studio շուկա.

  • В SPARK անալիզատոր Ավելացվել է ցուցիչի սեփականության աջակցություն (ինչպես Rust-ում), որը թույլ է տալիս ապացուցել հիշողության սխալների և հիշողության արտահոսքի բացակայությունը: Լեզվի աջակցվող ենթաբազմությունը ընդլայնվել է նոր կառուցվածքներով:

Source: opennet.ru

Добавить комментарий