GNAT Community 2020 լույս տեսավ

Դուրս եկավ GNAT Community 2020 — Ադա լեզվով ծրագրավորման միջոցների փաթեթ: Փաթեթի մեջ մանրակրկիտ ներդրված է կոմպիլյատոր, ինտեգրացված ծրագրավորողի միջավայր GNAT Studio, SPARK լեզվի ենթախմբի ստատիկ վերլուծիչ, GDB դեբրովիչ և գրադարանների հավաքածու: Փաթեթը բաշխվում է GPL լիցենզիայի պայմաններում:

Main changes:

  • Կոմպիլյատորում ավելացվել է բազմաթիվ նորամուծությունների աջակցություն արդեն մոտենալու
    Ադա լեզվի 202х չափանիշին.
    Բաքկենդը նորացված է GCC 9-ի (բոլոր հարթակների համար, բացի macOS-ից): Ավելացված է RISC-V 64 հարթակի աջակցություն:
  • GNAT Studio-ի մշակման միջավայրը այժմ օգտագործում է
    իր LSP
    (Language Server Protocol) Ադա լեզվի համար: Այս նույն սերվերի հիման վրա իրականացվել է ընդլայնում Visual Studio Code-ի համար, այժմ հասանելի է
    Visual Studio Marketplace-ում:.
  • Մեույն SPARK վերլուծիչը ավելացվել է ցուցակ գծատիրություն (ինչպես Rust-ում), որը թույլ է տալիս ապացուցել հիշողության սխալների բացակայությունը և հիշողության արտահոսման բացակայությունը: Պ støացված ենթախումբը ընդլայնվել է նոր կառուցվածքներով:

Ընտանիք: opennet.ru

Գնել հուսալի հյուրընկալում DDoS պաշտպանությամբ, VPS VDS սերվերներով 🔥 Գնել հուսալի հյուրընկալում DDoS պաշտպանությամբ, VPS VDS սերվերներով | ProHoster