On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

WG211/M25Carette: Revision history

From WG 2.11
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

31 October 2025

  • curprev 19:2319:23, 31 October 2025 Jacques talk contribs 552 bytes +552 Created page with "Notions of derivative abound in functional programming. An obvious question arises: what about integrals? It turns out that folds are the analogous concept. Pursuing the analogy leads us to a proper notion of "definite fold" corresponding to definite integrals (and sums and products and ...). Many concepts are needed along the way (Route, Pointed type, etc). In return, incremental and parallel versions of fold arise naturally. The correct notion of indefinite fold is a l..."
Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M25Carette"