Microsoft Verona пилоттық жобасының бөлігі ретінде Rust тіліне негізделген және әдеттегі қауіпсіздік мәселелеріне ұшырамайтын қауіпсіз қолданбаларды әзірлеуге бағытталған жаңа бағдарламалау тілі. Жобаға қатысты ағымдағы оқиғалардың бастапқы мәтіндері жақын арада жоспарлануда Apache 2.0 бойынша лицензияланған.
C және C++ тілдерін пайдалану кезінде туындайтын ықтимал проблемаларды блоктау үшін, оның ішінде төмен деңгейлі Windows компоненттерін өңдеу үшін әзірленетін тілді пайдалану мүмкіндігі. Код қауіпсіздігі автоматты жадты басқару арқылы жақсартылады, ол әзірлеушілердің көрсеткіштерді басқару қажеттілігін болдырмайды және бос қол жеткізу, нөлдік көрсеткіш сілтемелері және буфердің асып кетуі сияқты төмен деңгейлі жад манипуляциясынан туындайтын мәселелерден қорғайды.
Verona мен Rust арасындағы негізгі айырмашылық - модельді пайдалану емес, объектілер тобына негізделген . Веронадағы деректер нысандар жиыны болып табылатын құрылымдар ретінде қарастырылады. Қарыз алуды тексеру және иеленуді тексеру объектілер тобына қатысты орындалады, бұл композиттік құрылымдарды басқару кезінде қауіпсіздікті қамтамасыз етуге көмектеседі және әдетте әзірлеуде қолданылатын абстракция деңгейін жақсырақ көрсетеді.
Ақпарат көзі: opennet.ru