Changes between Version 8 and Version 9 of Functions/Foldr


Ignore:
Timestamp:
May 19, 2018, 10:53:45 AM (3 years ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Functions/Foldr

    v8 v9  
    11= foldr =
     2
     3{{{foldr}}} and {{{foldl}}} are ''enzymes'' which generalize traversing and rebuilding of a list structure by taking a ''combinator'' and an ''initial value'' as parameters.
     4
     5[wiki:/Functions/Map map] could be defined in terms of folding functions.
    26
    37see also [wiki:Folds]