[Haskell-cafe] What I wish someone had told me...
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.
More information about the Haskell-Cafe