Microsoft sem hluti af Verona tilraunaverkefninu nýtt forritunarmál sem byggir á Rust tungumálinu og einbeitir sér að því að þróa örugg forrit sem eru ekki háð dæmigerðum öryggisvandamálum. Heimildartextar um núverandi þróun sem tengist verkefninu eru fyrirhuguð á næstunni leyfi samkvæmt Apache 2.0.
hæfileikann til að nota tungumálið sem verið er að þróa, þar á meðal til að vinna úr Windows íhlutum á lágu stigi til að hindra hugsanleg vandamál sem koma upp þegar C og C++ tungumálin eru notuð. Kóðaöryggi er aukið með sjálfvirkri minnisstjórnun, sem útilokar þörf fyrir þróunaraðila til að meðhöndla ábendingar og verndar gegn vandamálum sem stafa af minni meðferð á lágu stigi, svo sem eftir-frjáls aðgangur, núll bendill frávísanir og biðminni umframkeyrslu.
Helsti munurinn á Verona og Rust er notkun líkansins byggt á hópum hluta frekar en . Gögn í Verona eru meðhöndluð sem mannvirki sem eru safn af hlutum. Lántökuathuganir og eignaraðhuganir eru framkvæmdar í tengslum við hóp hluta, sem hjálpar til við að tryggja öryggi við meðhöndlun samsettra mannvirkja og endurspeglar betur útdráttarstigið sem venjulega er notað í þróun.
Heimild: opennet.ru