[Haskell] Articles on the value of strong typing
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."
"Theoretical Introduction to Programming"
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