Microsoft as ûnderdiel fan it pilotprojekt fan Verona in nije programmeartaal basearre op de Rust-taal en rjochte op it ûntwikkeljen fan feilige applikaasjes dy't net ûnderwurpen binne oan typyske feiligensproblemen. Boarneteksten fan aktuele ûntwikkelingen yn ferbân mei it projekt binne pland yn 'e heine takomst lisinsje ûnder Apache 2.0.
de mooglikheid om de taal dy't ûntwikkele wurdt te brûken, ynklusyf foar it ferwurkjen fan leech-nivo Windows-komponinten om potinsjele problemen te blokkearjen dy't ûntsteane by it brûken fan de C en C++ talen. Koadefeiligens wurdt fersterke troch automatysk ûnthâldbehear, wat de needsaak foar ûntwikkelders om pointers te manipulearjen elimineert en beskermet tsjin problemen dy't ûntsteane út manipulaasje fan leech-nivo ûnthâld, lykas nei-frije tagong, nul-oanwizer dereferences en buffer-oerrin.
It wichtichste ferskil tusken Verona en Rust is it gebrûk fan it model basearre op groepen fan objekten ynstee . Gegevens yn Verona wurde behannele as struktueren dy't kolleksjes fan objekten binne. Kontrôles foar lienen en kontrôles fan eigendom wurde útfierd yn relaasje ta in groep objekten, wat helpt om feiligens te garandearjen by it manipulearjen fan gearstalde struktueren en better wjerspegelet it nivo fan abstraksje dat typysk brûkt wurdt yn ûntwikkeling.
Boarne: opennet.ru