„Microsoft“ kaip Veronos bandomojo projekto dalis nauja programavimo kalba, pagrįsta Rust kalba ir orientuota į saugių programų, kurioms nekyla tipinių saugumo problemų, kūrimą. Artimiausiu metu planuojami su projektu susijusių dabartinių pokyčių šaltiniai licencijuota pagal Apache 2.0.
galimybė naudoti kuriamą kalbą, įskaitant žemo lygio Windows komponentų apdorojimą, siekiant blokuoti galimas problemas, kylančias naudojant C ir C++ kalbas. Kodo saugą padidina automatinis atminties valdymas, kuris pašalina poreikį kūrėjams manipuliuoti rodyklėmis ir apsaugo nuo problemų, kylančių dėl žemo lygio atminties manipuliavimo, pvz., laisvos prieigos, nulinių rodyklės nuorodų ir buferio viršijimo.
Pagrindinis skirtumas tarp Veronos ir Rust yra modelio naudojimas remiantis objektų grupėmis, o ne . Duomenys Veronoje traktuojami kaip struktūros, kurios yra objektų rinkiniai. Skolinimosi ir nuosavybės patikros atliekamos objektų grupės atžvilgiu, o tai padeda užtikrinti saugumą manipuliuojant sudėtinėmis konstrukcijomis ir geriau atspindi abstrakcijos lygį, kuris paprastai naudojamas kuriant.
Šaltinis: opennet.ru