[Haskell-cafe] What I wish someone had told me...

[Dan Weston]

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.
>