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.