> Typescript and C# have demonstrated that MS can design good languages

I would make a slight correction, Typescript and C# have proven that Anders Hejlsberg can design good languages, not MS.

Honestly, Hejlsberg is like the Midas of programming languages.

That man is a language designing genius.

He is the main designer behind:

Delphi (which inspired VB6, Microsoft's DOMINANT language through the 90's. But it's so similar to Delphi, that you can pretty much credit Hejlsberg for it's success), C#, and Typescript

Sometimes whole companies get credit for the genius of what is really just one or two architects.

When it comes to Apple innovations, it's Jobs

And when it comes to MS language innovations, with the exception of F#, it's Hejlsberg.