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

[Casey Hawthorne]

>Strict type system allows for a maximum number of programming errors to be caught at compile time.

I keep hearing this statement but others would argue that programming
errors caught at compile time only form a minor subset of all errors
caught.

So, in functional programming languages with a strict type system,
e.g. Haskell, do typing errors from a larger subset of all programming
errors.

I don't mean "tpynig errros".

:)
--
Regards,
Casey