[Haskell-cafe] Redefining superclass default methods in a subclass
Meng.Wang at comlab.ox.ac.uk
Sun Jan 14 17:48:04 EST 2007
Thank you for starting the thread. We (Martin Sulzmann and me) proposed a
type class extension which allows modular extension of superclasses (a
complement of subclass extension). The idea has been shown to be
particularly useful in (but not limited to) encodings of generic
programming with type classes. A brief introduction of the proposal is
documented in our wiki:
http://taichi.ddns.comp.nus.edu.sg/taichiwiki/GPHomePage. I will try to
add it as a link in yours soon.
A more detailed and formal description of the proposal can be found in our
Workshop on Generic Programming 06 paper which is available at
On Tue, 9 Jan 2007, Brian Hulley wrote:
> Simon Peyton-Jones wrote:
>> One of the great things about John's class-alias proposal is that
>> John worked out a lot of details and captured them in a web page,
>> rather than it getting buried in an email thread.
>> If you have ideas to refine his proposal, it'd be good to see if,
>> with him, you can come up with a unified design, and again capture it
>> in a Wiki page or something.
> I've started a page at
> John - I haven't added anything about your class alias proposal because
> you've copyrighted your proposal and I don't want to do the wrong thing ;-)
> Can you add a section for your proposal (or containing a link to your
> proposal) on his page?
> Please could everyone who has any other ideas about class system extensions
> add them to the page above so that we have a central location. Hopefully it
> will gradually become clear what all the issues are and perhaps a path for
> trying to implement some extensions in order of difficulty.
> Thanks, Brian.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe