What?!? You think Microsoft would ever willingly go down that road?
CA....
>> ...and instead focusing on ensuring correct and stable products.
>
> What?!? You think Microsoft would ever willingly go down that road?
The question of ‘willingness’ will become moot if they squander away all their resources with flops and it will become a matter of “do or Die”.
As to willingness, I would submit that they’ve toed at that a little bit, pulling Anders Hejlsberg to do C#/DOTNET was a little bit of that — unfortunately they stuck with the popular C-ish syntax (and its inherent flaws, some caught at compile-time) sticking it as their flagship rather than designing for correctness — mitigated, a little, by trying to make the DOTNET-platform usable for “any language.”
Then there was a project for detecting/eliminating buffer overflows in the codebase — though if they’d used something like Ada with it’s superb checking facilities [it’s possible for the compiler to statically determine if a check is unneeded], they wouldn’t have needed this tool/project at all — I’m sorry but I don’t have a link to the paper there, just recently came across it.