If one wants a strict ML language than compiles to native code then OCaml is a better solution, ditto for lazy ML languages by making use of Haskell.

F#'s real value is the ability to have a ML language as (almost as) first citizen in the .NET ecosystem.