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

[Dominique Devriese]

All,

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):

http://sms.cs.chalmers.se/publications/papers/2008-WGP.pdf

Dominique


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
>