Changes between Version 42 and Version 43 of Records


Ignore:
Timestamp:
Feb 17, 2012 10:08:25 PM (2 years ago)
Author:
guest
Comment:

Add DORF option

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v42 v43  
    4141 3. '''[wiki:Records/NameSpacing Agda-derived Records] (ADR)''' Pure (Plan A) 
    4242 4. '''[wiki:Records/NameSpacing Frege-derived Records] (FDR)'''.  Uses (Plan A) + (Plan B). 
     43 5. '''[wiki:Records/DeclaredOverloadedRecordFields Declared Overloaded Record Fields] (DORF)'''. Tweak to SORF. (Plan B) 
    4344 
    44  5. '''Are there any other approaches?''' 
     45 6. '''Are there any other approaches?''' 
    4546 
    4647 
     
    4849 
    4950All records solutions are planning on using the dot operator for normal record field selection. We need to consider the [wiki:Records/DotOperator future usage of the dot, particularly as a function composition operator]. 
     51(DORF doesn't insist on dot notation: it's to be syntactic sugar for reverse function application.) 
    5052 
    5153