Haskell is beautiful for researchers only. Instead of spending time commenting OCaml articles in Slashdot, Haskell groupies should start writting real-life applications: the Haskell Industrial Group has never been above 3 or 4 members, while the Caml Consortium has 12 members, and is increasing every year.

F# is only a small kernel of what the OCaml language provides. It has no modules, no functors, no polymorphic methods, no polymorphic variants, no labels on arguments, no optional arguments, no first class modules, and the list is long of what is missing in F# from OCaml. The result is that programs written in F# are not completely type-safe, so you may benefit from the expressiveness of OCaml, but not of its safety... And F# is not portable: it only works correctly on Windows, and using it on other systems is just a pain.