From the MSDN article:
Translation: We want to be hip like Google Go and other open source languages that call us square.... in particular we understand the role that open source versions of languages can play in education and research circles, and as a result can give extra reach to a Microsoft-sponsored language technology.
The asynchronous stuff is quite standard for declarative languages, so that's no big deal. Haskell has useful type checking from my experience. The units support is interesting. I've never heard of that.
Thanks for the information.