On Friday, February 21, 2003, at 06:05 PM, Nick Name wrote:
Reading the paper "Type Classes with Functional Dependencies" by Mark P.Have a look at the paper "Object-Oriented Style Overloading for Haskell" by Shields & Peyton-Jones: http://research.microsoft.com/~simonpj/Papers/oo-haskell/index.htm
Jones, I noticed he mentions the "Coerce" class as a way to model the
subtyping relation. I have looked at the article there referred, "How to
make ad-hoc polymorphism less ad-hoc" by Wadler and Blott.
By now, I can't find more references to this idea; it looks very
promising for when one wants subtyping in haskell:
--
% Andre Pang : just.your.average.bounty.hunter
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
