[UncleOxidant]

OCaml does quite well against C++ in the shootout. OCaml's Functors and type inferrence are a big win over C++ templates. Yeah, the syntax takes some getting-used-to, but all in all the language seems to hang together much better than C++ (perhaps not saying much)

[eru]

I agree. I like Haskell's syntax better. But their syntaxen are nearly isomorphic for the most common stuff.

[UncleOxidant]

I'm finding OCaml's approach to be a bit more practical even if it isn't as pure as Haskell. Once in a while it's nice to be able to drop into an imperative style or even do some OO and OCaml lets you do all of that.

[eru]

Yes. Though Haskell allows imperative style (via Monads), too.