Changes between Version 7 and Version 8 of NewtypeDeriving


Ignore:
Timestamp:
Aug 24, 2006 3:49:44 PM (8 years ago)
Author:
nhn@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewtypeDeriving

    v7 v8  
    4747 * difficult to specify without saying "the same representation" 
    4848   ([http://www.haskell.org/pipermail/haskell-prime/2006-March/001161.html first attempt]) 
     49 
     50== Comment == 
     51This proposal would make newtypes a bit more like type synonyms since they can be made to inherit properties of the underlying type, albeit (usefully) selectively. Having both type synonyms and newtype is a bit confusing, and the more alike they are, the more confusing it is. I guess looking for a single replacement is not an option for Haskell', but at least we should consider if automatic derivation for newtypes does not supersede  TypeSynonymInstances as it would make it significantly less tiresome to introduce a newtype for purposes of abbreviation.