High-Order Function, as a structural transformation, the fold is a polymorphic function.
This just means, it takes on different forms (poly = multiple), and can take data from one element and transform it into another.
Specifically, this is speaking to the 'left fold'.
- explained in category theory
- catamorphism, uses 'typed calculis' (Lambda) to explain the fold of a list.
- typically a linear function applied to a finite set.
We call this in JavaScript:
Reduce