Changes between Version 8 and Version 9 of Records/DeclaredOverloadedRecordFields/COmpareSORF


Ignore:
Timestamp:
Feb 21, 2012 4:22:55 AM (3 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/COmpareSORF

    v8 v9  
    5050                                                                 -- field type not nec. same as the function's result 
    5151}}} 
    52     The programmer must provide a binding. 
     52    The program must provide a binding. 
     53 
     54'''Except ... (sober reflection):'''  
     55Did that just re-open the back door to the abstraction? 
     56{{{ 
     57       e { x = True } ===> set (undefined ::: "x") True e       -- desugarred 
     58}}} 
     59    ?I didn't need `e`'s record type in scope nor its field `x` to call `set`. 
     60 
     61    So I can break the abstraction by updating a record/field I can't even `get` ?? 
    5362 
    5463