Microsoft bħala parti mill-proġett pilota Verona lingwa ta 'programmar ġdida bbażata fuq il-lingwa Rust u ffukata fuq l-iżvilupp ta' applikazzjonijiet sikuri li mhumiex soġġetti għal problemi ta 'sigurtà tipiċi. Testi sors ta' żviluppi attwali relatati mal-proġett huma ppjanati fil-futur qarib liċenzjat taħt Apache 2.0.
l-abbiltà li tuża l-lingwa li qed tiġi żviluppata, inkluż għall-ipproċessar ta’ komponenti ta’ Windows ta’ livell baxx sabiex jiġu mblokkati problemi potenzjali li jinqalgħu meta jintużaw il-lingwi C u C++. Is-sikurezza tal-kodiċi hija msaħħa permezz ta 'ġestjoni awtomatika tal-memorja, li telimina l-ħtieġa li l-iżviluppaturi jimmanipulaw il-pointers u jipproteġu kontra problemi li jirriżultaw minn manipulazzjoni tal-memorja ta' livell baxx, bħal aċċess bla ħlas wara, dereferences null tal-pointer, u buffer overruns.
Id-differenza ewlenija bejn Verona u Rust hija l-użu tal-mudell ibbażat fuq gruppi ta 'oġġetti aktar milli . Id-dejta f'Verona hija ttrattata bħala strutturi li huma kollezzjonijiet ta' oġġetti. Il-kontrolli tas-self u l-kontrolli tas-sjieda jitwettqu fir-rigward ta 'grupp ta' oġġetti, li jgħin biex tiġi żgurata s-sikurezza meta jiġu manipulati strutturi komposti u jirrifletti aħjar il-livell ta 'estrazzjoni tipikament użat fl-iżvilupp.
Sors: opennet.ru