loop

(loop [binding...] body...)

let のように束縛し -- 初期化は逐次で、パターンは destructuring します -- 本体を評価します。本体は新しい値とともに束縛へ (recur ...) して戻れます。labels の自己呼び出しへ低レベル化されるため、インタープリターの末尾呼び出しにより繰り返しはスタック定数になります。