> Structural recursion (folds) is to general recursion (let rec) as the "for" lo... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		dragonwriter on Sept 2, 2014 \| parent \| context \| favorite \| on: Support for writing GHC passes in Coq > Structural recursion (folds) is to general recursion (let rec) as the "for" loop is to the "while" loop. So, they are strictly equivalent? </Clanguage>

emillon on Sept 3, 2014 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact