[Haskell-cafe] What I wish someone had told me...
westondan at imageworks.com
Wed Oct 15 17:06:41 EDT 2008
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:
> 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.
More information about the Haskell-Cafe