On: Microsoft is creating a new Rust-based programming...

[patagurbon]

Alternatively it could be what Microsoft Research does a lot which is take some subset of a language and add capabilities, like software verification with F*.

[m4r35n357 → patagurbon]

Which is pretty much what the posts you replied to said.