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.
Port it to LLVM? Then it can be compiled to native, in which case it has to compete with Haskell (et al).
The "#" in F# basically binds it to the CLR, and that's what it's strength is. Too bad it want to be something is isn't.
You can think of the F# Software Foundation as the community side of that equation and, well, Microsoft as the Microsoft side of that equation.
so mono's future looks secure now
So mono's future is secured - Android, iPhone, iOS, OS X, linux, windows 8, ... no other high-level-to-native tools get this reach and none based on a language as c# (so much better than java). F# looks like nice added sauce to this.