限定継続 (delimited continuation) の動作を理解する - 映画は中劇

限定継続のオペレータであるshift/resetおよびcontrol/promptについて、その動作が腑に落ちたので、以下にまとめます。 継続とは 継続とは、呼び出されると「この後の計算」を実行する関数です。 Schemeにはcall/ccという関数が存在し、プログラムの任意の箇所で「この後の計算」が取り出せます。たとえば次のプログラムでは、gobackにcall/ccを呼び出した箇所の継続が束縛されます。gobackを呼び出すことで、call/cc呼び出しのところに制御が戻るため、1ずつ値を足しながら無限ループします。 (let ((pair (call/cc (lambda (cont) (list 0 cont))))) (let ((n (car pair)) (goback (cadr pair))) (print n) (newline) (goback (list (+ n

[nfunato]

[continuation] "delimited continuation"