> The constraints are auxiliary. Constraints enable reasoning, both automatic and manual. Loops fit the single-core CPU hardware paradigm extraordinarily well

> The constraints are auxiliary. Constraints enable reasoning, both automatic and manual. Loops fit the single-core CPU hardware paradigm extraordinarily well. As soon as you start targeting modern hardware, more constrained recursion/iteration schemes start to buy a lot more in terms of both developer time and compiler complexity.