Source: cirosantilli/for-loop

= for loop
{wiki}

The <for loop> is a subcase of the <while loop>.

One theoretical motivation for its existence is that it has the fundamental property that we are immediately certain it will terminate, unlike <while loops> with arbitrary conditions.

<Primitive recursive functions> are the <complexity> class that divides those two.