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

Dominique Devriese dominique.devriese at cs.kuleuven.be
Tue Oct 4 08:08:25 CEST 2011


In case anyone is interested, I just want to point out an interesting
article about the relation between Haskell type classes and C++
(overloading + concepts):



2011/10/3 Ketil Malde <ketil at malde.org>:
> sdiyazg at sjtu.edu.cn writes:
>> This has nothing to do with OOP or being imperative. It's just about types.
> Of course, it's not necessarily linked to OOP, but OO languages - to the
> extent they have types - tend towards ad-hoc polymorphism instead of
> parametric polymorphism.  There are different trade-offs, one is the
> lack of return-type overloading in C++.
> -k
> --
> If I haven't seen further, it is by standing in the footprints of giants
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list