Microsoft sebagai sebahagian daripada projek perintis Verona bahasa pengaturcaraan baharu berdasarkan bahasa Rust dan menumpukan pada membangunkan aplikasi selamat yang tidak tertakluk kepada masalah keselamatan biasa. Teks sumber perkembangan semasa berkaitan projek itu dirancang dalam masa terdekat berlesen di bawah Apache 2.0.
keupayaan untuk menggunakan bahasa yang sedang dibangunkan, termasuk untuk memproses komponen Windows peringkat rendah untuk menyekat potensi masalah yang timbul apabila menggunakan bahasa C dan C++. Keselamatan kod dipertingkatkan dengan pengurusan memori automatik, yang menghapuskan keperluan untuk pembangun memanipulasi penunjuk dan melindungi daripada masalah yang timbul daripada manipulasi memori peringkat rendah, seperti akses selepas bebas, penolakan penunjuk nol dan overrun penimbal.
Perbezaan utama antara Verona dan Rust ialah penggunaan model berdasarkan kumpulan objek dan bukannya . Data di Verona dianggap sebagai struktur yang merupakan koleksi objek. Semakan peminjaman dan semakan pemilikan dilakukan berhubung dengan sekumpulan objek, yang membantu memastikan keselamatan semasa memanipulasi struktur komposit dan lebih mencerminkan tahap pengabstrakan yang biasanya digunakan dalam pembangunan.
Sumber: opennet.ru