[Haskell-cafe] Very silly

Bulat Ziganshin bulat.ziganshin at gmail.com
Mon Oct 13 14:57:58 EDT 2008

Hello Andrew,

Monday, October 13, 2008, 10:51:43 PM, you wrote:

> Suffice it to say, you *can* make Haskell support arbitrary overloading
> of function names like C++ has, _if_ you abuse the type system violently
> enough. Please, won't somebody think of the children?!?

people that make critique on haskell type classes, don't take into
account that it's unlike C++ templates, implemented via run-time
dictionaries and other modules may define new instances

just imagine other module defining instance for (a->a) or
(String->String) - how your module should compile calls to `go` that
take into account these possible definitions

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com

More information about the Haskell-Cafe mailing list