Microsoft’s Project Verona involves creating a new language for “safe infrastructure programming” to be open-sourced soon.
Article Link: https://www.zdnet.com/article/microsoft-were-creating-a-new-rust-based-programming-language-for-secure-coding/#ftag=RSSbaffb68