Microsoft salaku bagian tina proyék pilot Verona basa programming anyar dumasar kana basa Rust sarta fokus kana ngamekarkeun aplikasi aman nu teu tunduk kana masalah kaamanan has. Naskah sumber tina kamajuan ayeuna anu aya hubunganana sareng proyék direncanakeun dina waktos anu caket dilisensikeun dina Apache 2.0.
kamampuan ngagunakeun basa anu dikembangkeun, kalebet pikeun ngolah komponén Windows tingkat rendah pikeun meungpeuk masalah poténsial anu timbul nalika nganggo basa C sareng C ++. Kasalametan kode ditingkatkeun ku manajemén memori otomatis, anu ngaleungitkeun kabutuhan pamekar pikeun ngamanipulasi pointer sareng ngajagi tina masalah anu timbul tina manipulasi mémori tingkat rendah, sapertos aksés gratis saatosna, dereferences pointer null, sareng overruns panyangga.
Beda utama antara Verona sareng Rust nyaéta ngagunakeun modél dumasar kana grup objék tinimbang . Data di Verona dianggap salaku struktur anu kumpulan objék. Cék injeuman sareng pamariksaan kapamilikan dilakukeun dina hubungan sakelompok objék, anu ngabantosan mastikeun kasalametan nalika ngamanipulasi struktur komposit sareng langkung saé ngagambarkeun tingkat abstraksi anu biasana dianggo dina pangwangunan.
sumber: opennet.ru