Could D have fit Microsoft's needs?

[Ola Fosheim Grøstad]

On Thursday, 18 July 2019 at 23:00:03 UTC, bauss wrote:
> Microsoft has published article about needing a safer system 
> programming language.
>
> https://msrc-blog.microsoft.com/2019/07/18/we-need-a-safer-systems-programming-language/
>
> Could D (Most likely as betterC) have fit into that domain OR 
> is it not yet safe?

Microsoft Research has teams working on advancing the state of 
the art of verifiable programming... They probably has the most 
knowledgable group of people in this area, so I they could move 
beyond Rust (with ease) if it was made a company policy, but it 
might not pay off in terms of profit. They will probably continue 
to evolve the C# eco system. Makes more sense in relation to 
their cloud offerings etc.