올바른 꼬리 호출과 재귀

꼬리 적용은 명시적 트램펄린에서 현재 평가기 프레임을 교체하므로 자기·상호 꼬리 재귀가 논리 연속을 늘리지 않습니다.

한눈에 보기

LISPEX

(let loop ((n 10000) (acc 0)) (if (= n 0) acc (loop (- n 1) (+ acc 1))))

결과

OUTPUT

꼬리 위치에는 마지막 본문, 두 if 가지, 정규화된 cond·case, 마지막 and·or, do, call-with-values, apply가 포함됩니다.
올바른 꼬리 동작은 연속 깊이에 관한 것이며 동일한 실행 시간이나 무제한 실행을 뜻하지 않습니다.
꼬리 재귀 프로그램에도 결정적이며 프로필별인 자원 한도가 적용됩니다.