Cộng đồng GNAT 2020 đã ra mắt

Đã đi ra ngoài Cộng đồng GNAT 2020 - bộ công cụ phát triển bằng ngôn ngữ Ada. Gói này bao gồm một trình biên dịch, một môi trường phát triển tích hợp Studio GNAT, một bộ phân tích tĩnh cho một tập hợp con của ngôn ngữ SPARK, trình gỡ lỗi GDB và một bộ thư viện. Túi nhựa phân phối bởi theo các điều khoản của giấy phép GPL.

Sự thay đổi chính:

  • Trình biên dịch đã bổ sung hỗ trợ cho nhiều cải tiến từ bản dự thảo sắp tới
    Chuẩn ngôn ngữ Ada 202x.
    Phần phụ trợ đã được cập nhật lên GCC 9 (cho tất cả các nền tảng ngoại trừ macOS). Đã thêm hỗ trợ cho nền tảng RISC-V 64.

  • Môi trường phát triển GNAT Studio hiện sử dụng
    LSP của bạn
    (Giao thức máy chủ ngôn ngữ) cho ngôn ngữ Ada. Dựa trên cùng một máy chủ, tiện ích mở rộng cho Visual Studio Code đã được triển khai, hiện có sẵn ở
    Thị trường Visual Studio.

  • В máy phân tích SPARK Đã thêm hỗ trợ cho quyền sở hữu con trỏ (như trong Rust), cho phép bạn chứng minh không có lỗi bộ nhớ và không có rò rỉ bộ nhớ. Tập hợp con được hỗ trợ của ngôn ngữ đã được mở rộng với các cấu trúc mới.

Nguồn: opennet.ru

Thêm một lời nhận xét