[Haskell] Articles on the value of strong typing
derek.a.elkins at gmail.com
Mon Mar 26 13:32:22 EDT 2007
Casey Hawthorne wrote:
> 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.
Is this section about performance? Otherwise, it makes almost no sense.
More information about the Haskell