Loops are a commonly used structure in programming that allows you to repeat a block of code a set number of times, or until you meet a particular condition. This is useful for many reasons.

When thinking about loops in programming languages, they often get simplified down to a conditions section and a body, but this belies the dizzying complexity that emerges when considering loop ...