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 <[email protected]>: > [email protected] 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 > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
