回圈是计算机科学运算领域的用语，也是一种常见的控制流程。回圈是一段在程式中只出现一次，但可能会连续执行多次的程式码。回圈中的程式码会执行特定的次数，或者是执行到特定条件成立时结束回圈，或者是针对某一集合中的所有项目都执行一次。在一些函数程式语言（例如Haskell和Scheme）中会使用递归或不动点组合子来达到回圈的效果，其中尾部递归是一种特别的递归，很容易转换为迭代。
指定执行次数的回圈(for loop).大部份程式语言都提供回圈的指令，可以依指定的次数重覆执行一段程式。