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.
možnosť použitia vývojového jazyka, a to aj na spracovanie nízkoúrovňových komponentov Windows Na blokovanie potenciálnych problémov, 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 vyplývajúcimi z nízkoúrovňovej správy pamäte, ako je prístup k pamäti po jej uvoľnení, dereferencovanie nulových ukazovateľov a preplnenie 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
