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.