Re: [Haskell-cafe] Strict type system allows for a maximum number of programming errors to be caught at compile time.

In my opinion code is 'right' when it conforms to the specification. Haskell's type system allows the programmer to express a part of the specification in the types, which then get checked by the compiler/type-checker. This is where I see the biggest benefit of a very expressive statically checked type system.