I suspect that more has been done since 1997. Isn't that pre-Oleg?
Karl Mazurak wrote:
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.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
