Changes between Version 47 and Version 48 of Records


Ignore:
Timestamp:
Feb 23, 2012 12:01:51 AM (4 years ago)
Author:
GregWeber
Comment:

answer question

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v47 v48  
    4747 1. '''[wiki:Records/OverloadedRecordFields Simple Overloaded Record Fields] (SORF)'''.  Pure (Plan B).
    4848 2. '''[http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] (TDNR)'''.  Pure (Plan B), but without abstraction over fields of the same name.
    49  3. '''[wiki:Records/NameSpacing Agda-derived Records] (ADR)''' Pure (Plan A)
    50  4. '''[wiki:Records/NameSpacing Frege-derived Records] (FDR)'''.  Uses (Plan A) + (Plan B).[[BR]]-- errm as at 22-Feb-2012 3. and 4. point to the same page. Confused? I was -- AntC
     49 3. '''[wiki:Records/NameSpacing Agda-derived Records] (ADR)''' Pure (Plan A). Explained on below FDR page.
     50 4. '''[wiki:Records/NameSpacing Frege-derived Records] (FDR)'''. Uses (Plan A) + (Plan B).
    5151 5. '''[wiki:Records/DeclaredOverloadedRecordFields Declared Overloaded Record Fields] (DORF)'''. Tweak to SORF. (Plan B)
    5252