Microsoft als Deel vum Verona Pilotprojet eng nei Programméierungssprooch baséiert op der Rust Sprooch a konzentréiert sech op d'Entwécklung vun sécheren Uwendungen déi net typesch Sécherheetsproblemer ënnerleien. Quelltexter vun den aktuellen Entwécklungen am Zesummenhang mam Projet sinn an der nächster Zukunft geplangt lizenzéiert ënner Apache 2.0.
d'Fäegkeet fir d'Sprooch ze benotzen déi entwéckelt gëtt, och fir d'Veraarbechtung vu Low-Level Windows Komponenten fir potenziell Probleemer ze blockéieren déi entstinn wann Dir d'C an C++ Sprooche benotzt. Code Sécherheet gëtt duerch automatesch Memory Management verbessert, wat d'Notzung fir Entwéckler eliminéiert fir Pointer ze manipuléieren a schützt géint Probleemer, déi aus Low-Level Memory Manipulatioun entstinn, sou wéi After-Free Access, Null Pointer-Dereferenzen a Puffer-Iwwerreechungen.
Den Haaptunterschied tëscht Verona a Rust ass d'Benotzung vum Modell baséiert op Gruppe vun Objeten anstatt . Daten zu Verona ginn als Strukture behandelt déi Sammlunge vun Objeten sinn. Prêtchecken a Proprietärkontrollen ginn a Relatioun mat enger Grupp vun Objeten ausgefouert, wat hëlleft Sécherheet ze garantéieren wann Dir Kompositstrukturen manipuléiert a besser den Abstraktiounsniveau reflektéiert déi typesch an der Entwécklung benotzt gëtt.
Source: opennet.ru