|
|
|
# Tuple Sections Proposal
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
allow tuple sections
|
|
|
|
|
|
|
|
|
|
|
|
```wiki
|
|
|
|
|
|
|
|
(1,,3) becomes \a -> (1,a,3)
|
| ... | ... | @@ -12,17 +14,26 @@ allow tuple sections |
|
|
|
## Pro
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
very oftenly requested. would save a lot of little cryptically named utility functions. higher order routines to fill in tuple values are quite common
|
|
|
|
|
|
|
|
|
|
|
|
## Con
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nested tuple sections can be a little unintuitive
|
|
|
|
|
|
|
|
|
|
|
|
```wiki
|
|
|
|
|
|
|
|
((1,),) becomes \a -> (\b -> (1,b),a)
|
|
|
|
|
|
|
|
rather than \a b -> ((1,a),b) as some might expect.
|
|
|
|
|
|
|
|
``` |
|
|
\ No newline at end of file |
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|