Changes between Version 47 and Version 48 of Records

Show
Ignore:
Timestamp:
02/22/12 16:01:51 (16 months 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