Microsoft u sklopu pilot projekta Verona novi programski jezik temeljen na jeziku Rust i usmjeren na razvoj sigurnih aplikacija koje nisu podložne tipičnim sigurnosnim problemima. Izvorni tekstovi aktualnih događanja vezanih uz projekt planirani su u bliskoj budućnosti licenciran pod Apache 2.0.
mogućnost korištenja jezika koji se razvija, uključujući za obradu Windows komponenti niske razine kako bi se blokirali potencijalni problemi koji nastaju pri korištenju jezika C i C++. Sigurnost koda poboljšana je automatskim upravljanjem memorijom, što eliminira potrebu programera da manipuliraju pokazivačima i štiti od problema koji proizlaze iz manipulacije memorijom niske razine, kao što je pristup nakon slobodne upotrebe, dereferencije nultog pokazivača i prekoračenja međuspremnika.
Glavna razlika između Verone i Rusta je korištenje modela na temelju skupina objekata, a ne . Podaci se u Veroni tretiraju kao strukture koje su zbirke objekata. Provjere posuđivanja i provjere vlasništva izvode se u odnosu na grupu objekata, što pomaže u osiguravanju sigurnosti pri rukovanju kompozitnim strukturama i bolje odražava razinu apstrakcije koja se obično koristi u razvoju.
Izvor: opennet.ru