Microsoft jako součást pilotního projektu Verona nový programovací jazyk založený na jazyku Rust a zaměřený na vývoj bezpečných aplikací, které nepodléhají typickým bezpečnostním problémům. Zdrojové texty aktuálního vývoje souvisejícího s projektem jsou plánovány v blízké budoucnosti licencováno pod Apache 2.0.
schopnost používat vyvíjející se jazyk, včetně přepracování nízkoúrovňových komponent Windows, aby se zablokovaly potenciální problémy, které se objeví při používání jazyků C a C++. Bezpečnost kódu je vylepšena automatickou správou paměti, která ušetří vývojářům nutnost manipulovat s ukazateli a chrání před problémy, které vznikají v důsledku nízkoúrovňové manipulace s pamětí, jako je přístup k oblasti paměti po jejím uvolnění, dereferencování nulových ukazatelů a přetečení vyrovnávací paměti. .
Hlavním rozdílem mezi Veronou a Rustem je použití modelu založené na skupinách objektů, nikoli . S daty ve Veroně se zachází jako se strukturami, což jsou kolekce objektů. Výpůjční kontroly a kontrola vlastnictví jsou prováděny ve vztahu ke skupině objektů, což umožňuje bezpečnost při manipulaci s kompozitními konstrukcemi a lépe odráží úroveň abstrakce běžně používané ve vývoji.
Zdroj: opennet.ru