do

Scheme의 do 함수는 초기화, 업데이트 및 종료 조건을 반복할 수 있는 루프 메커니즘입니다. 이는 특정 횟수만큼 또는 조건이 충족될 때까지 일련의 작업을 수행해야 할 때 특히 유용합니다.

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))) ; 각 단계에서 합계 출력

루프 변수 i은 1에서 시작하여 반복할 때마다 1씩 증가합니다.
sum 변수는 i의 합계를 누적합니다.
i > 5일 때 루프가 종료되어 sum의 최종 값이 반환됩니다.

출력: 15

작동 방식

초기화:
- 각 루프 변수에는 초기값이 할당됩니다.
종료 확인:
- 각 반복이 시작될 때 종료 조건을 확인합니다. 참(#t)인 경우 루프가 중지되고 결과 표현식이 평가됩니다.
반복:
- 종료 조건이 거짓(#f)이면 본문이 실행되고 루프 변수는 해당 업데이트 표현식을 사용하여 업데이트됩니다.

요약

do 구성은 여러 변수와 복잡한 종료 조건이 있는 루프를 구현하는 유연한 방법을 제공합니다.
반복 전반에 걸쳐 상태 업데이트가 필요한 작업에 유용합니다.
종료 조건은 루프가 끝나는 시기를 결정하고 최종 결과를 반환할 수 있습니다.

do을 사용하면 초기화, 업데이트 및 종료를 정밀하게 제어하여 Scheme에서 반복 알고리즘을 구현할 수 있습니다. 이로 인해 do은 범위 바인딩 메커니즘(예: let)과 반복 제어 구조의 조합이 되어 루프 및 임시 상태를 깨끗하고 간결하게 처리할 수 있습니다.

map for-each