Microsoft-ը որպես Վերոնայի փորձնական նախագծի մաս նոր ծրագրավորման լեզու, որը հիմնված է Rust լեզվի վրա և կենտրոնացած է անվտանգ հավելվածների մշակման վրա, որոնք ենթակա չեն անվտանգության բնորոշ խնդիրների: Ծրագրի հետ կապված ընթացիկ զարգացումների սկզբնական տեքստերը նախատեսվում են մոտ ապագայում լիցենզավորված Apache 2.0-ի համաձայն:
մշակվող լեզուն օգտագործելու ունակությունը, այդ թվում՝ Windows-ի ցածր մակարդակի բաղադրիչները մշակելու համար՝ C և C++ լեզուների օգտագործման ժամանակ առաջացող հնարավոր խնդիրները արգելափակելու համար: Կոդի անվտանգությունը բարելավվում է հիշողության ավտոմատ կառավարմամբ, որը վերացնում է մշակողների կողմից ցուցիչները մանիպուլյացիայի ենթարկելու անհրաժեշտությունը և պաշտպանում է ցածր մակարդակի հիշողության մանիպուլյացիայից բխող խնդիրներից, ինչպիսիք են ազատ մուտքը, զրոյական ցուցիչի մատնանշումները և բուֆերի գերակատարումները:
Verona-ի և Rust-ի հիմնական տարբերությունը մոդելի օգտագործումն է ավելի շուտ հիմնված օբյեկտների խմբերի վրա, քան . Վերոնայում տվյալները դիտարկվում են որպես կառույցներ, որոնք օբյեկտների հավաքածու են: Փոխառության ստուգումները և սեփականության ստուգումները կատարվում են մի խումբ օբյեկտների հետ կապված, ինչը օգնում է ապահովել անվտանգությունը կոմպոզիտային կառույցները շահագործելիս և ավելի լավ արտացոլում է աբստրակցիայի մակարդակը, որը սովորաբար օգտագործվում է մշակման մեջ:
Source: opennet.ru