Two weeks after the original time of writing, Apple released Swift - which is considerably influenced by the ML family of languages.
It would be interesting to get your take on the toolstack we're building using OCaml - http://nymote.org (I'm aware the copy on the site needs works but it's the tools I'm referring to).