Mikrosofto kiel parto de la Verona pilotprojekto nova programlingvo bazita sur la Rust-lingvo kaj temigis evoluigado de sekuraj aplikoj kiuj ne estas kondiĉigitaj de tipaj sekurecproblemoj. Fonttekstoj de aktualaj evoluoj rilate al la projekto estas planitaj en proksima estonteco licencita sub Apache 2.0.
la kapablo uzi la evoluantan lingvon, inkluzive por prilaborado de malaltnivelaj Vindozaj komponentoj por bloki eblajn problemojn kiuj ekestas dum uzado de la C kaj C++ lingvoj. Kodsekureco estas plifortigita per aŭtomata memoradministrado, kiu eliminas la bezonon de programistoj por manipuli montrilojn kaj protektas kontraŭ problemoj ekestiĝantaj de malalt-nivela memormanipulado, kiel ekzemple post-libera aliro, nulaj montriloj dereferences, kaj bufrotropasoj.
La ĉefa diferenco inter Verona kaj Rust estas la uzo de la modelo surbaze de grupoj de objektoj prefere ol . Datenoj en Verono estas traktataj kiel strukturoj kiuj estas kolektoj de objektoj. Pruntkontroloj kaj posedkontroloj estas faritaj rilate al grupo de objektoj, kiu helpas certigi sekurecon dum manipulado de kunmetitaj strukturoj kaj pli bone reflektas la nivelon de abstraktado tipe uzita en evoluo.
fonto: opennet.ru