[Haskell] Articles on the value of strong typing

[Casey Hawthorne]

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
Springer
2006

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
>be).

--
Regards,
Casey