Really?

MSR was one of the first companies bringing FP into mainstream developers tools with LINQ and F#.

Investing into dependent type programming via F*.

Making JavaScript scale via TypeScript (adopted by Google teams instead of Dart).

Sponsors Haskell and OCaml research.

Researches OS design that aren't yet another UNIX clone, namely memory safe OSes with Singularity, Midori, Drawbrige, theorem provers for device driver validation, P language, micro-kernels.

Google's focus is distributed systems and ML, both of which they're blowing MSR out of the water on.

Microsoft created Haskell. Google created Go.

Go isn't even a product of Google research. We're in a thread talking about AI research. I'm comparing Google's ML work to Microsofts.

Microsoft didn't create Haskell, though they did ultimately hire many of the movers and shakers who did.

(I agree that Go is a horrific mediocrity in comparison.)

You're correct. Microsoft has been Haskell's unofficial benefactor (maybe like Google for Python?)