OCaml

What do you think of OCaml?

Right now it's my favorite language. It's actually practical and fast (unlike Haskell). Also I can use imperative style whenever I feel like it but I still have all of the goodness from using a functional language. I am starting to use it as my regular language.

>>21
There's no way in hell to confuse Int and Integer. I don't see how the fact that they are both instances of Integral class (and many others) confuses the things in any way. They are still two distinct types that cannot be used together.

Or do you confuse IO and Maybe? They are both monads after all...