... | ... | @@ -212,8 +212,10 @@ let r = Record "a" in b r.a |
|
|
```
|
|
|
|
|
|
|
|
|
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`
|
|
|
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 possible, but requires an operator that binds to the right. Perhaps a new operator like: `b <. a $ r`
|
|
|
|
|
|
|
|
|
Partial application provides a potential solution: `b . .a $ r`
|
|
|
So if we have a function `f r = b r.a` then one can write it points-free: `b . .a` |
|
|
\ No newline at end of file |
|
|
|
|
|
|
|
|
So if we have a function `f r = b r.a` then one can write it points-free: `b . .a` |
|
|
\ No newline at end of file |