And before Haskell became this trend thing with own web sites and all, SPJ distributed ghc on his MS web site. Usually you had to wait for the Windows binary quite a bit, FreeBSD came first.
He also hosted a "how I make working under Windows NT barely acceptable" document under (research.)microsoft.com.
Yes, besides what the sibling posts already mentioned.
They also use Ocaml[0] and their very own F#.
Erik Meijer was also an Microsoft employee and responsible for bring LINQ and FP programming into the VB.NET and C# languages. Also provided lots of lectures about FP at Channel 9.
Usually many FOSS advocates tend to be unaware how much money the big bad Microsoft has invested into the ML eco-system and making FP concepts mainstream.
Yes, though the number is a little misleading. I believe the core functionality of Bond is all in Haskell, and everything else is just client libraries for other languages.
Our compiler/codegen [1] is all written in Haskell. That's a very significant part of Bond, but I wouldn't say that "everything else is just client libraries". All currently supported languages (C++, C# and Python) heavily rely on meta-programming [2] so the libraries for them are quite sophisticated.
