Changes between Version 35 and Version 36 of DefaultSuperclassInstances


Ignore:
Timestamp:
Jun 11, 2017 4:25:35 PM (2 years ago)
Author:
hvr
Comment:

Highlight the note about the newer IntrinsicSuperclasses proposal a bit better via WikiBoxes

Legend:

Unmodified
Added
Removed
Modified
  • DefaultSuperclassInstances

    v35 v36  
    33= Default superclass instances =
    44
    5 '''Note''' a new version of this proposal, IntrinsicSuperclasses, with a revised notation is beginning to appear.
     5{{{#!box note
     6A new version of this proposal, IntrinsicSuperclasses, with a revised notation is beginning to appear.
     7}}}
    68
    79A 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.