Microsoft pracuje na novém jazyce pro systémové programování s krycím jménem Projekt Verona. Podle prozatím kusých informací se jedná o jazyk s bezpečnou souběžností a správou paměti inspirovaný Rustem. Bezpečnou a výkonnou samočinnou správu paměti by mělo zajišťovat počítání referencí a jazyk chytře řídí přístup ke sdíleným datům, aby se vyhnul globálním zámkům.
Podle prvních informací má jazyk sloužit k přepsání některých starých aplikací, aby se zvýšila jejich spolehlivost a bezpečnost. Tvůrci slibují, že zdrojové kódy budou brzy vydány pod svobodnou licencí na GitHubu.