もう少し考えを進めてみよう。 beginの場合 (begin 1 (begin 2 (call/cc ...) 3) 4) begin(内側)->getContinuation() (begin _ 3) begin->parent()->getContinuation() (begin _ 4) ifの場合 - 1 (begin 1 (if (call/cc ...) 2 3) 4) if->getContinuation() …

うーん。longjmpに逃げたいがぐっとこらえよう。 S式で考えた方が分かりやすいと昨日思ったのだけど、それはなぜだろうかと今考えてみる。 S式で考えれば ( (lambda () (display "1") ( (lambda () (display "2") (call/cc (lambda (c) (set! cont c))) (dis…