Yitzchak Gale wrote:
Derek Elkins wrote:
In general, to encode OO...
turns out all you needed was recursive bounded
existential quantification.
Do you have a reference for that?
I'm not sure if this is precisely what Derek had in mind, but Bruce,
Cardelli, and Pierce did a comparison of various object encodings:
http://www.cis.upenn.edu/~bcpierce/papers/compobj.ps
It's been a while since I read that paper, but skipping to the end tells
me that the approach with recursive types and bounded existentials was
the only one to support method override, although it was less attractive
on other fronts.
--
Karl Mazurak
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
