🚀 go-pugleaf

In article <TERADA.97Feb4175227@kirin.sanpo.t.u-tokyo.ac.jp>
terada@sanpo.t.u-tokyo.ac.jp (Minoru TERADA) writes:
 |$B$^$:$O$8$a$K(B. 
 |call/cc $B$C$F(B scheme $B$K$"$k%"%l$N$3$H$G$9$h$M(B?

$B$O(B$B$$!#(B

 |$B$9$$$^$;$s(B, $B!V7QB3$N(B scope$B!W$H$$$&35G0$,(B
 |$B$h$/$o$+$i$J$$$b$s$G(B, $B$I$J$?$+$A$g$C$H@bL@$7$F$$$?(B$B$@$1$^$;$s$G$7$g$&$+(B. 

$B!V7QB3$N(B scope$B!W$d!V7QB3$N(B extent $B!W$H$$$&8@$$J}$,NI$/$J$+$C$?$G$9$M!#(B
$B@53N$K(B$B$O!V7QB3$r;2>H$9$kJQ?t(B($BL>A0$N(B) scope$B!W$d!V(Bextent$B!W$G$9!#(B

 |$B%^%5%+(B call/cc $B$KM?$($?4X?t$N0z?t$H$7$F(B continuation $B$,<j$KF~$k$+$i(B, 
 |$B$H$$$&$N$8$c$J$$$G$9$h$M(B?

$B$(!<$H!"7k6I$O$=$N$H$*$j$G$9!#(B Scheme $B$@$H7Q(B$BB3$r;2>H$9$kJQ?t$bB>$NJQ?t(B
$B$HF1$8$h$&$K07$o$l$^$9$+$i(B ...

$BCfLn$,!V(Bscope$B!W$H8@$C$?$H$-$K$O!"(B Scheme $B$N(B

	(call/cc (lambda (f) (... (f x) ...)))

$B$r(B SML $B$N(B

	(... (raise (f x)) ...) handle (f x) => x

$B$HBP(B$BHf$7$F!"$3$N(B f $B$N(B scope (raise $B$N(B f $B$H(B handle $B$N(B f $B$H$NBP1~(B)$B$r9M$((B
$B$F$$$^$7$?!#(B Scheme $B$G$O(B($BIaDL$NJQ?t(B$B$G$9$+$i(B) lexical scope $B$r;}$C$F$$(B
$B$^$9$,!"0lJ}(B SML $B$G$O(B indefinite (dynamic) scope $B$K$J$j$^$9!#(B $B$?$H(B$B$($P!"(B

  (call/cc (lambda (f)
              (+ 1 ((lambda (g) (call/cc (lambda (f) (g 1))))
                      (lambda (y) (f y))))))

$B$r(B Scheme $B$GI>2A$9$k$H(B 1 $B$K$J$j$^$9$,!"$3$l$KBP1~$9$k(B

  let exception f of int in
      (1 + (fn g => g(1) handle (f x) => x)(fn y => raise(f y)))
                                                handle (f x) => x end

$B$r(B SML $B$GI>2A$9$k$H(B 2 $B$K$J$C$F$7$^$$$^$9!#(B $B$b$A(B$B$m$s$3$N;~!"(B extent $B$N(B
$BJ}$N0c$$$O4X78$7$F$$$^$;$s!#(B

# $B$A$c$s$H@bL@$G$-$?$+$I$&$+$A$g$C$HIT0B$G$9(B ... ;-<
--
			Hiroshi Nakano <nakano@rins.ryukoku.ac.jp>
			Ryukoku Univ., Seta, Otsu, Japan