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.
möguleikinn á að nota þróunarmálið, þar á meðal til að vinna úr lágstigsíhlutum Windows Til að koma í veg fyrir hugsanleg vandamál sem upp koma við notkun forritunarmálanna C og C++. Öryggi kóða er aukið með sjálfvirkri minnisstjórnun, sem útilokar þörfina fyrir forritara að stjórna bendum og verndar gegn vandamálum sem stafa af lágstigs minnisstjórnun, svo sem aðgangi að minni eftir að það hefur verið losað, afvísun á núllbendum og biðminni.
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
