[Haskell] Articles on the value of strong typing

Casey Hawthorne caseyh at istar.ca
Mon Mar 26 12:24:20 EDT 2007

You may find the following comment interesting.

"The mythos of type systems is that they help the programmer.  But the
reality is compiler and hardware design.  Not simply that a fantasy
type system is harder to implement, but that a restricted language is
easier to implement."

page 189
"Theoretical Introduction to Programming"
Bruce Mills

I don't know if he bases his conclusions on a study or not.

>I have been unable to find any such studies as it supposedly is "common
>knowledge" that strong type systems are of great value. Additionally the
>people I have asked the question was not aware of any such studies, so
>now I'm trying this list.
>Please note that I am looking for papers or articles, preferably from
>the academic community, and not personal opinions (as valid as they may


More information about the Haskell mailing list