Ryan Ingram wrote:
I maintain that in Haskell, trying to get this same generality often leads to abuse of the typeclass system for things where the types should trivially be determined at compile time.
I don't see how that is abuse. The type class system is there for types which can be (more or less) trivially determined at compile time.
Tillmann _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
