Changes between Initial Version and Version 1 of TupleSections


Ignore:
Timestamp:
Dec 1, 2005 4:54:21 AM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TupleSections

    v1 v1  
     1= Tuple Sections Proposal =
     2
     3
     4allow tuple sections
     5
     6{{{
     7
     8(1,,3) becomes \a -> (1,a,3)
     9
     10}}}
     11
     12== Pro ==
     13
     14very oftenly requested. would save a lot of little cryptically named utility functions. higher order routines to fill in tuple values are quite common
     15
     16== Con ==
     17
     18nested tuple sections can be a little unintuitive
     19
     20{{{
     21
     22((1,),) becomes \a -> (\b -> (1,b),a)
     23
     24rather than \a b -> ((1,a),b) as some might expect.
     25
     26}}}
     27
     28