Кампанія Microsoft у рамках эксперыментальнага праекта Verona новая мова праграмавання, заснаваная на мове Rust і арыентаваная на распрацоўку абароненых прыкладанняў, не схільных да тыпавых праблем з бяспекай. Зыходныя тэксты бягучых напрацовак, звязаных з праектам, у бліжэйшы час плануецца пад ліцэнзіяй Apache 2.0.
магчымасць выкарыстання якая развіваецца мовы ў тым ліку для перапрацоўкі нізкаўзроўневых кампанентаў Windows з мэтай блакавання патэнцыйных праблем, усплываючых пры ўжыванні моў C і C++. Бяспека кода павялічваецца за кошт аўтаматычнага кіравання памяццю, якое пазбавіць распрацоўнікаў ад неабходнасці маніпулявання паказальнікамі і абароніць ад праблем, якія ўзнікаюць з-за нізкаўзроўневай працы з памяццю, такіх як зварот да вобласці памяці пасля яе вызвалення, разнайменаванне нулявых паказальнікаў і выхад за межы буфера.
Асноўным адрозненнем Verona ад Rust з'яўляецца прымяненне мадэлі. на аснове груп аб'ектаў, а не . Дадзеныя ў Verona разглядаюцца як структуры, якія прадстаўляюць сабой калекцыі аб'ектаў. Праверкі запазычання і кантроль валодання вырабляюцца ў прывязцы да групы аб'ектаў, што дазваляе забяспечыць бяспеку пры маніпуляцыях са складовымі структурам і лепш адлюстроўвае ўзровень абстракцыі, звычайна які ўжываецца пры распрацоўцы.
Крыніца: opennet.ru