انجمن GNAT 2020 منتشر شد

بیرون آمد انجمن GNAT 2020 - یک جعبه ابزار توسعه به زبان Ada. این بسته شامل یک کامپایلر، یک محیط توسعه یکپارچه است استودیو GNAT، یک تحلیلگر استاتیک برای زیرمجموعه ای از زبان SPARK، یک دیباگر GDB و مجموعه ای از کتابخانه ها. کیسه پلاستیکی توزیع شده توسط تحت شرایط مجوز GPL.

تغییرات اصلی:

  • کامپایلر پشتیبانی از بسیاری از نوآوری ها را از پیش نویس آینده اضافه کرده است
    استاندارد زبان آدا 202x.
    باطن به GCC 9 (برای همه سیستم عامل ها به جز macOS) به روز شده است. پشتیبانی از پلتفرم RISC-V 64 اضافه شده است.

  • محیط توسعه GNAT Studio اکنون استفاده می کند
    LSP شما
    (پروتکل سرور زبان) برای زبان آدا. بر اساس همان سرور، یک افزونه برای Visual Studio Code پیاده سازی شده است که اکنون در دسترس است
    ویژوال استودیو بازار.

  • В آنالایزر SPARK پشتیبانی اضافه شده برای مالکیت اشاره گر (مانند Rust)، که به شما امکان می دهد عدم وجود خطاهای حافظه و عدم وجود نشت حافظه را ثابت کنید. زیرمجموعه پشتیبانی شده زبان با ساختارهای جدید گسترش یافته است.

منبع: opennet.ru

اضافه کردن نظر