I only used F# on the side for a few casual projects but I'd really love for it to gain much more traction. Just like Clojure feels to me like a great pragmatic language on top of the JVM, F# feels like Ocaml on top of a really strong ecosystem.
It often gets compared to Scala, but, personally, I genuinely prefer F#. It has that ML feel, but without quite the same "I'm trying to be Haskell but I'm trapped inside a (relatively) weakly typed object-imperative universe" identity crisis.
It also does some nice things from a pragmatic perspective. It's true that computation expressions are nerfed monads, but they're done in a way that makes unfamiliar code easier to read. I find the tradeoff to be a net gain for the teamwork story. And, while pattern matching is everywhere these days, I still think F# wears it best.
