Microsoft Verona pilootprojekti osana uus programmeerimiskeel, mis põhineb Rust keelel ja on keskendunud turvaliste rakenduste arendamisele, mille puhul ei esine tüüpilisi turbeprobleeme. Lähiajal on plaanis projektiga seotud jooksvate arengute lähtetekstid litsentsitud Apache 2.0 alusel.
võimalus kasutada arendatavat keelt, sh madala tasemega Windowsi komponentide töötlemiseks, et blokeerida võimalikke probleeme, mis C ja C++ keelte kasutamisel tekivad. Koodi turvalisust suurendab automaatne mäluhaldus, mis välistab arendajatel osutitega manipuleerimise ja kaitseb madala tasemega mäluga manipuleerimisest tulenevate probleemide eest, nagu järelvaba juurdepääs, nullkursori viited ja puhvri ülekoormus.
Peamine erinevus Verona ja Rusti vahel on mudeli kasutamine põhinevad pigem objektirühmadel kui . Veronas käsitletakse andmeid struktuuridena, mis on objektide kogumid. Laenu- ja omandikontrolli teostatakse objektide rühma suhtes, mis aitab tagada ohutuse komposiitstruktuuridega manipuleerimisel ja peegeldab paremini arenduses tavaliselt kasutatavat abstraktsioonitaset.
Allikas: opennet.ru