[Haskell-cafe] language proposal: ad-hoc overloading
rendel at daimi.au.dk
Mon Sep 1 13:06:59 EDT 2008
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.
More information about the Haskell-Cafe