The CLR also has lots of very interesting languages under development. Languages like F# and Nemerle. Microsoft Research also pump out cutting edge stuff like the dependently typed F* (http://research.microsoft.com/en-us/projects/fstar/) and in language support for probabilistic programming http://research.microsoft.com/en-us/projects/fun/. The problem with MSR stuff is that their licences are so cumbersome and restrictive.