Microsoft si pjesë e projektit pilot të Veronës një gjuhë e re programimi e bazuar në gjuhën Rust dhe e fokusuar në zhvillimin e aplikacioneve të sigurta që nuk janë subjekt i problemeve tipike të sigurisë. Tekstet burimore të zhvillimeve aktuale në lidhje me projektin janë planifikuar në të ardhmen e afërt licencuar sipas Apache 2.0.
aftësia për të përdorur gjuhën që po zhvillohet, duke përfshirë përpunimin e komponentëve të nivelit të ulët të Windows në mënyrë që të bllokohen problemet e mundshme që lindin gjatë përdorimit të gjuhëve C dhe C++. Siguria e kodit përmirësohet nga menaxhimi automatik i kujtesës, i cili eliminon nevojën që zhvilluesit të manipulojnë treguesit dhe mbron nga problemet që lindin nga manipulimi i nivelit të ulët të kujtesës, si qasja pa pagesë, çreferencat e treguesve null dhe tejkalimet e buferit.
Dallimi kryesor midis Verona dhe Rust është përdorimi i modelit bazuar në grupe objektesh dhe jo . Të dhënat në Verona trajtohen si struktura që janë koleksione objektesh. Kontrollet e huamarrjes dhe kontrollet e pronësisë kryhen në lidhje me një grup objektesh, gjë që ndihmon në sigurimin e sigurisë gjatë manipulimit të strukturave të përbëra dhe pasqyron më mirë nivelin e abstraksionit që përdoret zakonisht në zhvillim.
Burimi: opennet.ru