Цикл BEGIN-UNTIL

Цикл BEGIN xxx f UNTIL всегда выполняется хотя бы 1 раз.
Картинка из книги Лео Броди «Starting FORTH»

Цикл «до» BEGIN…UNTIL имеет следующий вид (xxx и f это последовательность слов Каллисто):

BEGIN
  xxx
f UNTIL

Отличительная особенность цикла «до» — проверка условия в конце тела цикла. Это означает, что цикл BEGIN…UNTIL всегда выполняется как минимум один раз.

Слово BEGIN является заголовком цикла. Последовательность слов xxx f между BEGIN и UNTIL является телом цикла и может исполняться больше одного раза. Тело цикла xxx f завершается последовательностью команд f — условием цикла, оставляющим на вершине стека флаг.

Слово UNTIL снимает этот флаг со стека и осуществляет проверку условия цикла. Если этот флаг ложь, то есть равен нулю (условие не выполняется), цикл повторяется. Как только условие начинает выполняться (флаг истина, отличен от нуля), цикл прерывается.

Если условие выполняется сразу, тело цикла будет выполнено ровно один раз.

Заметка

Выделять на отдельной строчке условие f в теле цикла xxx f это хорошая, но необязательная практика программирования. Главное, чтобы после выполнения тела цикла на стеке остался флаг, который и будет проверять условный оператор ?BRANCH, в который компилируется слово UNTIL.

Циклы на Каллисто возможны лишь внутри определений через двоеточие. Перед тем, как на него передадут управление, цикл должен правильно скомпилироваться. Во время компиляции происходит проверка ошибок, чтобы каждому UNTIL сооветствовал свой BEGIN.

Ссылка

• Do while loop в английской Википедии (англ.)