[Haskell-cafe] Is it possible to represent such polymorphism?
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++.
> If I haven't seen further, it is by standing in the footprints of giants
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe