Microsoft has explained why it's pursuing 'safe systems programming ... Project Verona language and its exploration of the Rust programming language for Windows code written in C++.