[Haskell-cafe] Is it possible to represent such polymorphism?

Richard O'Keefe ok at cs.otago.ac.nz
Mon Oct 3 06:26:37 CEST 2011

On 3/10/2011, at 7:15 AM, Du Xi wrote:
> I guess this is what I want, thank you all. Although I still wonder why something so simple in C++ is actually more verbose and requires less known features in Haskell...What was the design intent to disallow simple overloading?

It's not "SIMPLE overloading" you are asking for,
but "AD HOC overloading", which may look simple, but really isn't.

Taking your C++ f() example, in what sense are the two functions _the same function_?

More information about the Haskell-Cafe mailing list