ループとは、ある条件が満たされるまで繰り返される一連の命令のことです。例えば、データ項目を取得して加工しながら、カウンターが所定の値に達するなどいくつかの条件をチェックするというような処理です。
ループは、文を可変回数実行する方法の 1 つです。同じ効果は再帰でも得ることができます。特に、すべてのデータが不変で、カウンター変数の更新が不可能な言語では、こちらを利用する必要があります。