Komuniti GNAT 2020 telah keluar

Datang keluar Komuniti GNAT 2020 - kit alat pembangunan dalam bahasa Ada. Pakej ini termasuk pengkompil, persekitaran pembangunan bersepadu Studio GNAT, penganalisis statik untuk subset bahasa SPARK, penyahpepijat GDB dan satu set perpustakaan. Beg plastik diedarkan oleh di bawah syarat lesen GPL.

Perubahan utama:

• Pengkompil telah menambah sokongan untuk banyak inovasi daripada draf yang akan datang
  Ada standard bahasa 202x.
  Bahagian belakang telah dikemas kini kepada GCC 9 (untuk semua platform kecuali macOS). Menambah sokongan untuk platform RISC-V 64.

• Persekitaran pembangunan GNAT Studio kini menggunakan
  LSP anda
  (Protokol Pelayan Bahasa) untuk bahasa Ada. Berdasarkan pelayan yang sama, sambungan untuk Kod Visual Studio telah dilaksanakan, kini tersedia dalam
  Visual Studio Marketplace.

• В Penganalisis SPARK Menambah sokongan untuk pemilikan penunjuk (seperti dalam Rust), yang membolehkan anda membuktikan ketiadaan ralat memori dan ketiadaan kebocoran memori. Subset bahasa yang disokong telah dikembangkan dengan binaan baharu.

Sumber: opennet.ru