Microsofti ettevõte töötab eksperimenteerimise projektis Verona uus programmeerimiskeel, mis põhineb Rust'i keelel ja on suunatud turvaliste rakenduste arendamisele, vältides tüüpilisi turvaprobleeme. Projekti seotud käimasolevate arenduste lähtekoodid plaanitakse peagi ainekood on litsentsitud Apache 2.0 all.
võimalust kasutada arenevat keelt ka Windowsi madala taseme komponentide ümbertegemiseks, et vältida potentsiaalseid probleeme, mis võivad tekkida C ja C++ keelte kasutamisel. Koodi turvalisus suureneb automaatse mälu haldamise kaudu, mis vabastab arendajad osutajate manipuleerimisest ja kaitseb madala taseme mälu töötamisega seotud probleemide eest, nagu näiteks pääsemine vabastatud mälu alale, nullosutajate derreferentsimine ja puhverpiiride ületamine.
Verona peamine erinevus Rust'ist on rakendamine objektigruppide alusel, mitte . Andmed Veronas vaadatakse kui struktuure, mis esindavad objektide kogumeid. Laenude kontroll ja omandiõiguse jälgimine viiakse läbi objektigruppide põhjal, mis tagab ohutuse komposiitstruktuuridega manipuleerimisel ja peegeldab paremini abstraktsiooni taset, mida tavaliselt rakendatakse arendamisel.
Allikas: opennet.ru
