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

sdiyazg@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