Microsoft kama sehemu ya mradi wa majaribio wa Verona lugha mpya ya programu kulingana na lugha ya Rust na inayolenga kuunda programu salama ambazo haziko chini ya matatizo ya kawaida ya usalama. Maandishi ya chanzo cha maendeleo ya sasa yanayohusiana na mradi yanapangwa katika siku za usoni leseni chini ya Apache 2.0.
uwezo wa kutumia lugha inayotengenezwa, ikiwa ni pamoja na kuchakata vipengele vya Windows vya kiwango cha chini ili kuzuia matatizo yanayoweza kutokea wakati wa kutumia lugha za C na C++. Usalama wa msimbo huimarishwa na usimamizi wa kumbukumbu kiotomatiki, ambao huondoa hitaji la wasanidi programu kudhibiti viashiria na hulinda dhidi ya matatizo yanayotokana na upotoshaji wa kumbukumbu ya kiwango cha chini, kama vile ufikiaji baada ya bila malipo, vielekezo batili vya vielelezo, na ziada ya bafa.
Tofauti kuu kati ya Verona na Rust ni matumizi ya mfano kulingana na vikundi vya vitu badala ya . Data katika Verona inachukuliwa kama miundo ambayo ni mkusanyiko wa vitu. Ukaguzi wa kukopa na ukaguzi wa umiliki hufanywa kuhusiana na kundi la vitu, ambayo husaidia kuhakikisha usalama wakati wa kudhibiti miundo yenye mchanganyiko na kuonyesha vyema kiwango cha uondoaji kinachotumiwa kwa kawaida katika uundaji.
Chanzo: opennet.ru