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

Karl Mazurak mazurak at cis.upenn.edu
Wed Oct 15 17:03:57 EDT 2008

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.

Karl Mazurak

More information about the Haskell-Cafe mailing list