do

Конструкція do у Scheme — це механізм циклів, що дозволяє ітерацію з ініціалізацією, оновленням і умовою завершення. Вона особливо корисна, коли потрібно виконати послідовність операцій певну кількість разів або доки не буде виконана умова.

Загальна форма do така:

(do ((var1 init1 update1)
     (var2 init2 update2)
     (var3 init3 update3))
    (termination-condition result)
  body)

Змінна: змінна (або змінні) циклу.
Початкове значення: стартове значення кожної змінної циклу.
Вираз оновлення: вираз для оновлення змінної циклу в кінці кожної ітерації.
Умова завершення: умова зупинки циклу.
Результуючий вираз: значення, яке повертається після завершення циклу.
Тіло: код, що виконується на кожній ітерації.

Приклад: сума чисел від 1 до 5

(do ((i 1 (+ i 1))      ; Ініціалізувати i як 1, збільшувати на 1
     (sum 0 (+ sum i))) ; Ініціалізувати sum як 0, додавати i до sum
    ((> i 5) sum)       ; Зупинитися, коли i > 5, повернути sum
  (lumi-message (number->string sum))) ; Виводити sum на кожному кроці

Змінна циклу i починається з 1 і збільшується на 1 на кожній ітерації.
Змінна sum накопичує суму i.
Цикл завершується, коли i > 5, повертаючи кінцеве значення sum.

Вивід: 15

Як це працює

Ініціалізація:
- кожній змінній циклу присвоюється її початкове значення.
Перевірка умови завершення:
- на початку кожної ітерації перевіряється умова завершення; якщо вона істинна, цикл зупиняється і обчислюється результуючий вираз.
Ітерація:
- якщо умова завершення хибна, виконується тіло, а змінні циклу оновлюються відповідними виразами оновлення.

Резюме

Конструкція do дає гнучкий спосіб реалізувати цикли з кількома змінними та складними умовами завершення.
Вона корисна для задач, де стан оновлюється між ітераціями.
Умова завершення визначає, коли цикл закінчується, і може повернути остаточний результат.

За допомогою do можна реалізувати ітераційні алгоритми в Scheme з точним контролем ініціалізації, оновлень і завершення. Це поєднання механізму областей видимості (як-от let) і ітераційної керуючої структури, що дозволяє обробляти цикли й тимчасовий стан стисло та зрозуміло.

map for-each