Microsoft isip kabahin sa Verona Pilot Project usa ka bag-ong programming language nga gibase sa Rust nga pinulongan ug naka-focus sa pagpalambo sa luwas nga mga aplikasyon nga dili ubos sa tipikal nga mga problema sa seguridad. Ang gigikanan nga mga teksto sa karon nga mga kalamboan nga may kalabutan sa proyekto giplano sa umaabot nga umaabot lisensyado ubos sa Apache 2.0.
ang abilidad sa paggamit sa usa ka nagbag-o nga lengguwahe, lakip ang alang sa pagtrabaho pag-usab sa ubos nga lebel nga mga sangkap sa Windows aron mapugngan ang mga potensyal nga problema nga motungha kung mogamit mga C ug C ++ nga mga pinulongan. Ang kaluwasan sa code gipauswag pinaagi sa awtomatik nga pagdumala sa panumduman, nga nagluwas sa mga developer gikan sa pagmaniobra sa mga pointer ug nanalipod batok sa mga problema nga motumaw tungod sa ubos nga lebel sa pagmaniobra sa memorya, sama sa pag-access sa usa ka lugar sa panumduman human kini gibuhian, pagtangtang sa mga null pointer, ug pag-overrun sa buffer. .
Ang nag-unang kalainan tali sa Verona ug Rust mao ang paggamit sa modelo base sa mga grupo sa mga butang, dili . Ang datos sa Verona giisip nga mga istruktura, nga mga koleksyon sa mga butang. Ang mga tseke sa paghulam ug pagkontrol sa pagpanag-iya gihimo kalabot sa usa ka grupo sa mga butang, nga nagtugot alang sa seguridad kung nagmaniobra sa mga komposisyon nga istruktura ug mas maayo nga nagpakita sa lebel sa abstraction nga sagad gigamit sa pag-uswag.
Source: opennet.ru