
Microsoft zveřejnil na Githubu zdrojové kódy svého nového jazyka Verona určeného pro systémové programování s bezpečnou správou paměti.
Verona je poměrně nízkoúrovňový jazyk inspirovaný Rustem. Pro správu paměti používá explitně deklarované vlastníky instancí objektů a počítání referencí, přičemž o dynamické přidělování paměti se stará experimentální alokátor snmalloc
.
Verona je v experimentální fázi vývoje a jedná se (přinejmenším prozatím) o akademický počin, netřeba proto dodávat, že rozhodně není v této fázi určena k ostrému nasazení.