Microsoft ҳамчун як қисми лоиҳаи озмоишии Верона забони нави барномасозӣ дар асоси забони Rust ва тамаркуз ба таҳияи барномаҳои бехатар, ки ба мушкилоти маъмулии амниятӣ дучор намешаванд. Матнҳои манбаи таҳаввулоти кунунии марбут ба лоиҳа дар ояндаи наздик ба нақша гирифта шудаанд дар зери Apache 2.0 литсензия шудааст.
қобилияти истифодаи забони таҳияшаванда, аз ҷумла барои коркарди ҷузъҳои сатҳи пасти Windows бо мақсади бастани мушкилоти эҳтимолӣ, ки ҳангоми истифодаи забонҳои C ва C++ ба вуҷуд меоянд. Бехатарии код тавассути идоракунии автоматии хотира такмил дода мешавад, ки эҳтиёҷоти таҳиягаронро барои идора кардани нишондиҳандаҳо аз байн мебарад ва аз мушкилоте, ки дар натиҷаи коркарди хотираи сатҳи паст ба вуҷуд меоянд, ба монанди дастрасии пас аз озод, истинодҳои нул нишоннамо ва барзиёдии буфер муҳофизат мекунад.
Фарқи асосии байни Verona ва Rust истифодаи модел аст дар асоси гуруххои объектхо на . Маълумот дар Верона ҳамчун сохторҳое баррасӣ карда мешаванд, ки маҷмӯи объектҳо мебошанд. Санҷишҳои қарзӣ ва санҷиши моликият нисбат ба як гурӯҳи объектҳо анҷом дода мешаванд, ки ба таъмини бехатарӣ ҳангоми коркарди сохторҳои таркибӣ мусоидат мекунад ва сатҳи абстраксияро, ки одатан дар таҳия истифода мешаванд, беҳтар инъикос мекунад.
Манбаъ: opennet.ru