[mr_custard]

> Clojure and F# are my two favourite languages and I have similar experience

Same. I have worked in both F# and Clojure profressionally. I love them both for different reasons.

As a fun thought experiment, I have often tried to force myself to choose between them, even though one doesn't really have to make a choice. Turns out that it's a tough choice to give one up over the other.

I tend to lean slightly towards Clojure at present, but then I'm using it a great deal at work.

However, if you're looking for a modern strongly typed, immutable functional language with type inference, then F# is really excellent.

I haven't used Haskell professionally and have only played with it but my feeling is that I prefer F# to Haskell because it has some "escape hatches" built in, in order to interop with C# and other .NET languages; So no IO Monad is required. It feels like more of a supporting structure and less of a straightjacket to me.