Microsoft Verona proiektu pilotuaren barruan Rust lengoaian oinarritutako programazio-lengoaia berria eta ohiko segurtasun arazoen menpe ez dauden aplikazio seguruak garatzera bideratua. Etorkizun hurbilean proiektuarekin lotutako egungo garapenen iturri-testuak aurreikusten dira Apache 2.0 lizentziapean.
garatzen ari den hizkuntza erabiltzeko gaitasuna, baita maila baxuko Windows osagaiak prozesatzeko ere, C eta C++ lengoaiak erabiltzean sortzen diren arazo potentzialak blokeatzeko. Kodearen segurtasuna memoria automatikoaren kudeaketak hobetzen du, garatzaileek erakusleak manipulatzeko beharra ezabatzen baitu eta maila baxuko memoriaren manipulaziotik sortutako arazoetatik babesten du, hala nola, doako sarbidea, erakusle nuluaren deserreferentziak eta buffer gainditzeak.
Verona eta Rust-en arteko desberdintasun nagusia ereduaren erabilera da objektu taldeetan oinarrituta baino . Veronako datuak objektuen bildumak diren egitura gisa tratatzen dira. Mailegu-egiaztapenak eta jabetza-egiaztapenak objektu talde bati lotuta egiten dira, eta horrek egitura konposatuak manipulatzean segurtasuna bermatzen laguntzen du eta garapenean erabili ohi den abstrakzio-maila hobeto islatzen du.
Iturria: opennet.ru