Changes between Version 34 and Version 35 of DefaultSuperclassInstances


Ignore:
Timestamp:
Jul 16, 2014 9:05:00 AM (5 years ago)
Author:
pigworker
Comment:

added link to IntrinsicSuperclasses

Legend:

Unmodified
Added
Removed
Modified
  • DefaultSuperclassInstances

    v34 v35  
    22
    33= Default superclass instances =
     4
     5'''Note''' a new version of this proposal, IntrinsicSuperclasses, with a revised notation is beginning to appear.
    46
    57A matter of much consternation, here is a proposal to allow type class declarations to include default instance declarations for their superclasses. Moreover, subclass instance declarations should be able to override the method definitions in their default superclass instances. It's based on [http://www.haskell.org//pipermail/haskell-prime/2006-August/001587.html Jón Fairbairn's proposal], but it has a more explicit 'off switch' and the policy on corner-cases is rejection. Credit is due also to the [http://www.haskell.org/haskellwiki/Superclass_defaults superclass defaults proposal],  [http://www.haskell.org/haskellwiki/Class_system_extension_proposal class system extension proposal] and its ancestors, in particular, John Meacham's [http://repetae.net/recent/out/classalias.html class alias] proposal.