Komunitas GNAT 2020 telah keluar

Keluar Komunitas GNAT 2020 - perangkat pengembangan dalam bahasa Ada. Paket ini mencakup kompiler, lingkungan pengembangan terintegrasi Studio Agas, penganalisis statis untuk subset bahasa SPARK, debugger GDB, dan sekumpulan perpustakaan. Kantong plastik didistribusikan oleh di bawah persyaratan lisensi GPL.

Perubahan besar:

• Kompiler telah menambahkan dukungan untuk banyak inovasi dari draf yang akan datang
  Ada standar bahasa 202x.
  Backend telah diperbarui ke GCC 9 (untuk semua platform kecuali macOS). Menambahkan dukungan untuk platform RISC-V 64.

• Lingkungan pengembangan GNAT Studio sekarang menggunakan
  LSP Anda
  (Protokol Server Bahasa) untuk bahasa Ada. Berdasarkan server yang sama, ekstensi untuk Visual Studio Code telah diterapkan, sekarang tersedia di
  Pasar Visual Studio.

• В Penganalisis SPARK Menambahkan dukungan untuk kepemilikan pointer (seperti di Rust), yang memungkinkan Anda membuktikan tidak adanya kesalahan memori dan tidak adanya kebocoran memori. Subset bahasa yang didukung telah diperluas dengan konstruksi baru.

Sumber: opennet.ru