Changes between Version 15 and Version 16 of Records/NameSpacing


Ignore:
Timestamp:
Jan 9, 2012 7:16:52 AM (2 years ago)
Author:
GregWeber
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/NameSpacing

    v15 v16  
    177177}}} 
    178178 
    179 It bothers some that the code does not look like the previous `b a r` - chiefly that the record is now in the middle. Is it possible we can have an equivalent of the dot that changes the ordering? `b a.r` is theoretically possible, but probably extraordinarily confusing. Perhaps a new operator like: `b <. a $ r` 
     179It bothers some that the code does not look like the previous `b a r` - chiefly that the record is now in the middle. Is it possible we can have an equivalent of the dot that changes the ordering? `b a.@r` is possible, but requires an operator that binds to the right. Perhaps a new operator like: `b <. a $ r` 
    180180 
    181181Partial application provides a potential solution: `b . .a $ r` 
    182 So if we have a function `f r = b r.a`  then one can write it points-free: `b . .a`                                                                                                                                                                       
     182 
     183So if we have a function `f r = b r.a` then one can write it points-free: `b . .a`