Некоторое время назад стало известно, что Microsoft работает над созданием нового языка под кодовым названием Project Verona, который предназначен для безопасного программирования инфраструктуры. Новый язык включает в себя некоторые идеи из популярного языка программирования Rust.

Project Verona разрабатывается исследовательским подразделением Microsoft Research. Исходный код проекта уже доступен на GitHub. Целью проекта является создание более безопасных систем за счёт лучшего управления памятью, фрагментарности и «песочницы».

По словам Мэтью Паркинсона, Project Verona призван помочь защитить код на небезопасных языках, таких как C и C#, которые используются во многих устаревших компонентах Microsoft, на которые компания не хочет тратить время и деньги, но хотела бы лучше защищать.

Project Verona вдохновляется не только языком Rust, но и заимствует концепции из Cyclone, более безопасного варианта C, и Pony, над которым также работают сотрудники Microsoft Research. Однако Project Verona не связана с экспериментами Microsoft по переписыванию низкоуровневых компонентов Windows с языков C и C++ на Rust.