GNAT Community 2020 เปิดให้เล่นแล้ว

ออกมา ชุมชน GNAT 2020 - ชุดเครื่องมือพัฒนาในภาษา Ada แพคเกจประกอบด้วยคอมไพเลอร์ซึ่งเป็นสภาพแวดล้อมการพัฒนาแบบรวม กนัท สตูดิโอ, ตัววิเคราะห์แบบคงที่สำหรับชุดย่อยของภาษา SPARK, ดีบักเกอร์ GDB และชุดของไลบรารี ถุงพลาสติก จัดจำหน่ายโดย ภายใต้เงื่อนไขของใบอนุญาต GPL

การเปลี่ยนแปลงที่สำคัญ:

  • คอมไพเลอร์ได้เพิ่มการรองรับนวัตกรรมมากมายจากร่างที่กำลังจะมาถึง
    มาตรฐานภาษา Ada 202x.
    แบ็กเอนด์ได้รับการอัปเดตเป็น GCC 9 (สำหรับทุกแพลตฟอร์มยกเว้น macOS) เพิ่มการรองรับแพลตฟอร์ม RISC-V 64

  • ตอนนี้ใช้สภาพแวดล้อมการพัฒนา GNAT Studio
    LSP ของคุณ
    (โปรโตคอลเซิร์ฟเวอร์ภาษา) สำหรับภาษา Ada จากเซิร์ฟเวอร์เดียวกัน ส่วนขยายสำหรับ Visual Studio Code ได้ถูกนำมาใช้แล้ว ซึ่งขณะนี้มีให้บริการใน
    ตลาด Visual Studio.

  • В เครื่องวิเคราะห์ SPARK เพิ่มการสนับสนุนสำหรับการเป็นเจ้าของพอยน์เตอร์ (เช่นเดียวกับใน Rust) ซึ่งช่วยให้คุณสามารถพิสูจน์ได้ว่าไม่มีข้อผิดพลาดของหน่วยความจำและไม่มีการรั่วไหลของหน่วยความจำ ชุดย่อยของภาษาที่รองรับได้รับการขยายด้วยโครงสร้างใหม่

ที่มา: opennet.ru

เพิ่มความคิดเห็น