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 _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
