Một gói công cụ phát triển bằng ngôn ngữ Ada đã được xuất bản - GNAT Community Edition 2021. Nó bao gồm trình biên dịch, môi trường phát triển tích hợp GNAT Studio, 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. Gói được phân phối theo giấy phép GPL.
Phiên bản mới của trình biên dịch sử dụng phần phụ trợ GCC 10.3.1 và cung cấp một số tính năng mới. Đã bổ sung triển khai các cải tiến sau của tiêu chuẩn Ada 202x sắp tới:
- Hồ sơ mới cho hệ thống nhúng Jorvik;
- Hỗ trợ số học chính xác tùy ý;
- Biểu thức khai báo;
- Đổi tên giá trị bằng suy luận kiểu tự động;
- Hợp đồng tham khảo các chương trình con;
- Bộ lọc trong các trình vòng lặp;
- Đơn vị cho container.
Chúng tôi cũng đã triển khai một số tính năng thử nghiệm (không chuẩn):
- "Khi" bổ sung cho các câu lệnh return/raise/goto;
- Khớp mẫu;
- Đã sửa lỗi giới hạn dưới của mảng;
- Gọi các chương trình con bằng cách sử dụng dấu chấm cho các loại không được gắn thẻ.
Rất có thể, phiên bản trình biên dịch này sẽ là phiên bản cuối cùng trong chuỗi các bản phát hành GNAT Community Edition. Trong tương lai, trình biên dịch được biên dịch từ GCC nguồn mở có thể được cài đặt bằng trình quản lý gói alire.
Nguồn: opennet.ru