Microsoft развивает новый язык программирования "на основе" Rust - Verona. Перепишет часть компонентов Windows 10, чтобы улучшить безопасность.
"Причина": 70% процентов уязвимостей - ошибки управления памятью из-за "языки C и C++ передают управление оперативной памятью разработчику".
Отличие нового языка от Rust заключается в применении концепции владения не единичными объектами, а группами объектов. Пруф
https://habr.com/ru/news/t/479204/ и репа
https://github.com/verona-lang/veronaбггг... линуксоподобный на растоподобном
PS - похоже правда раскрывается в комментариях:
Verona is a research project to explore different memory safety models for systems programming. It is not a fork of Rust.