|
|
|
|
|
|
by rraval
1396 days ago
|
|
|
Related: Graham Hutton's classic paper: a tutorial on the universality and expressiveness of fold [PDF]: https://www.cs.nott.ac.uk/~pszgmh/fold.pdf Section 5.1 walks the reader through implementing foldl in terms of foldr after laying down the ground work and gradually introducing things one concept at a time. For me, the eye-opening insight was using foldr to generate intermediate functions as values, which is the sort of thing "functional" programming does without thinking twice, but is mind bending for someone coming from a more traditional procedural language background. |
|
|