Microsoft has:

Safe systems lang: Verona

General Purpose+GC: C#

Functional: F#

Quantum: Q#

Typed JS: TypeScript

Machine Learning: L?