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

Dan Weston 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:
> 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.

More information about the Haskell-Cafe mailing list