[Haskell-cafe] language proposal: ad-hoc overloading

Tillmann Rendel 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.

   Tillmann


More information about the Haskell-Cafe mailing list