For-Loops in Mathematics (darkmedievaltimes.net)

I don’t get what this blog post is supposed to propose nor the point of it — the special sauce of imperative loops is imperative/causal sequences of those operations due to mutability, otherwise it’s just a `map` operation-but-with-(many)-extra-steps. If you want to express the imperative loop you’ll need a way to represent mutability or some form of transient state and/or the `reduce` operator