Hacker News Reader

Folds are a restricted form of recursion which always terminate.

Structural recursion (folds) is to general recursion (let rec) as the "for" loop is to the "while" loop.

> Structural recursion (folds) is to general recursion (let rec) as the "for" loop is to the "while" loop.

So, they are strictly equivalent? </Clanguage>

This notion of "for" loop is more a notion of "foreach ... in" than the C version which is indeed equivalent to a while loop.