Microsoft sebagai bagian dari proyek percontohan Verona bahasa pemrograman baru berdasarkan bahasa Rust dan berfokus pada pengembangan aplikasi aman yang tidak mengalami masalah keamanan umum. Teks sumber perkembangan terkini terkait proyek direncanakan dalam waktu dekat berlisensi di bawah Apache 2.0.
kemampuan menggunakan bahasa yang dikembangkan, termasuk untuk memproses komponen Windows tingkat rendah guna memblokir potensi masalah yang muncul saat menggunakan bahasa C dan C++. Keamanan kode ditingkatkan dengan manajemen memori otomatis, yang menghilangkan kebutuhan pengembang untuk memanipulasi pointer dan melindungi terhadap masalah yang timbul dari manipulasi memori tingkat rendah, seperti akses setelah bebas, dereferensi pointer nol, dan buffer overruns.
Perbedaan utama antara Verona dan Rust adalah penggunaan modelnya berdasarkan pada kelompok objek, bukan . Data di Verona diperlakukan sebagai struktur yang merupakan kumpulan objek. Pemeriksaan peminjaman dan pemeriksaan kepemilikan dilakukan sehubungan dengan sekelompok objek, yang membantu memastikan keamanan saat memanipulasi struktur komposit dan lebih mencerminkan tingkat abstraksi yang biasanya digunakan dalam pengembangan.
Sumber: opennet.ru