> the mistakes should be easy to fix and minimize the time you're spending fighting with the type system In Haskell you don't fight the type system. It fights

> the mistakes should be easy to fix and minimize the time you're spending fighting with the type system In Haskell you don't fight the type system. It fights your bugs. [Yes, yes, this isn't an absolute truth, but it is a relative truth when the point of reference is C++'s, or even Java's, type system.]