I like the (description of) the language. I love statically typed functional languages with type inferencing. But look forward a few years. Hasn't F# definit

I like the (description of) the language. I love statically typed functional languages with type inferencing. But look forward a few years. Hasn't F# definitively won, except for people who prefer Java libraries (Scala), and people who like lazy computation and/or extreme purity (Haskell)? Yes, F# performance in Mono is bad right now. But there's no reason the language itself can't be implemented (perhaps as a skin on top of the Ocaml code base - or does the license not permit it?) The size of a language community does matter. It's not "most popular 1-3 in each niche live, others die" but "15 years from now, will it still exist, or will the 1-3 hardcore hackers have moved on?"