A tutorial on the universality and expressiveness of fold¶
HUTTON, G. (1999). A tutorial on the universality and expressiveness of fold. Journal of Functional Programming, 9(4), 355-372.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Identity Element
- A two-sided identity turns the question into a lookup — the empty composition has a value, and that value is e — so absence enters the model as data rather than as a control-flow event.
This sourceShows that the seed argument of a fold supplies the value for the empty input, so base cases and emptiness tests need not be written separately from the step.
- A two-sided identity turns the question into a lookup — the empty composition has a value, and that value is e — so absence enters the model as data rather than as a control-flow event.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:5483116de319 · see in the full table