は通常のループ内で値の変化を検出する手段として使われ、値のグループの処理のトリガーとなる。ループ内で変化する値(群)をキーで監視し、可変な値に関連したグループイベント処理へとプログラムのフローを変換する。LOOPコレクション制御ループ.汎用の繰り返し.無限ループ.場合によっては無限にループする方がプログラムに適していることもあるし、何らかのエラーが発生するまでループするという場合もある。実際、イベント駆動型プログラム(サーバなど)はイベント制御ループを永遠に回り続け、プロセスが操作者によって終了させられたときだけループを停止する。ただし一般には、無限ループはプログラミングのミスで発生する。すなわち、ループ終了条件がループ内で全く発生しないことが原因で意図しない無限ループとなる。次の繰り返しへの継続.現在の繰り返しの再実行.ループの再実行.ループからの早期脱出.ループ変化条件とループ不変条件.とループ不変条件は、ループの正しさを表すのに使われる。現実的には、ループ変化条件とは非負の初期値を持つ整数式である。変化条件はループを回るたびに減少しなければならないが、正しいループ実行の間は負の値になってはならない。ループ変化条件はループが終了するであろうことを保証するのに使われる。ループ不変条件は、ループを回る前と各反復において真でなければならない表明である。すなわち、ループが正しく終了するには終了条件とループ不変条件が共に真でなければならない。ループ不変条件は、ループ実行中にループの具体的属性を監視するのに使われる。サブ言語としてのループ.構造化非局所制御フロー.条件.典型的な文法例:例外.try{}catch(...){//既にキャッチされていない任意の値をキャッチtry{提案された制御構造.途中にテストのあるループ.repeat;repeat;一般に、任意のループ構造と、条件分岐とbreakを組み合わせて、同様のプログラムを書ける(これは要するに、どんな制御構造も、コンパイルされれば機械語では分岐命令になる、ということと同様のことを言っている)。if(nottest)複数早期脱出と入れ子ループからの脱出.ザ・ビートルズ・セカンド・アルバム解説.