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

Roel van Dijk vandijk.roel at gmail.com
Mon May 3 14:43:54 EDT 2010

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.

More information about the Haskell-Cafe mailing list