Re: About "class Coerce a b"

On Friday, February 21, 2003, at 06:05 PM, Nick Name wrote:

Reading the paper "Type Classes with Functional Dependencies" by Mark P. 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:

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 -- % Andre Pang : just.your.average.bounty.hunter