Microsoft v rámci pilotného projektu Verona nový programovací jazyk založený na jazyku Rust a zameraný na vývoj bezpečných aplikácií, ktoré nepodliehajú typickým bezpečnostným problémom. Zdrojové texty aktuálneho vývoja súvisiaceho s projektom sú plánované v blízkej budúcnosti licencovaný pod Apache 2.0.
schopnosť používať vyvíjaný jazyk, a to aj na spracovanie nízkoúrovňových komponentov Windows s cieľom blokovať potenciálne problémy, ktoré vznikajú pri používaní jazykov C a C++. Bezpečnosť kódu je vylepšená automatickou správou pamäte, ktorá eliminuje potrebu vývojárov manipulovať s ukazovateľmi a chráni pred problémami vznikajúcimi pri manipulácii s pamäťou na nízkej úrovni, ako je napríklad voľný prístup, dereferences nulového ukazovateľa a pretečenie vyrovnávacej pamäte.
Hlavným rozdielom medzi Veronou a Rustom je použitie modelu založené skôr na skupinách objektov než . S údajmi vo Verone sa zaobchádza ako so štruktúrami, ktoré sú zbierkami objektov. Kontroly výpožičiek a kontroly vlastníctva sa vykonávajú vo vzťahu k skupine objektov, čo pomáha zaistiť bezpečnosť pri manipulácii s kompozitnými konštrukciami a lepšie odráža úroveň abstrakcie, ktorá sa zvyčajne používa pri vývoji.
Zdroj: opennet.ru