Fun fact: Much of the Glasgow Haskell Compiler was written/influenced by Simon Peyton Jones, who is at Microsoft Research.

F# resembles OCaml more closely, I think.

F# is really more in the ML family of languages.