[Haskell-cafe] Is it possible to represent such polymorphism?
ketil at malde.org
Mon Oct 3 12:04:07 CEST 2011
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
More information about the Haskell-Cafe