Цикл с постусловием (repeat) (PascalABC.NET)

Этот цикл похож на цикл с предусловием. Отличие в том, что сначала выполняется тело цикла, а потом проверяется, не следует ли этот цикл завершить («сначала сделаем, а потом подумаем»).

repeat
  ТелоЦикла
until ЛогическоеВыражение;

Это единственный из операторов цикла, в котором ТелоЦикла может содержать несколько операторов и при этом не быть заключено в операторные скобки. Цикл с постусловием при истинности ЛогическогоВыражения завершается.

Истинность логического выражения в заголовке оператора цикла while определяет условие выполнения цикла, а в repeat – условие его завершения. Наличие предусловия в цикле while может привести к тому, что тело цикла не выполнится ни разу. Постусловие в repeat – залог того, что тело цикла обязательно выполнится хотя бы один раз. Для бесконечного цикла while указываем while True do, для бесконечного repeat указываем until False.