🚀 go-pugleaf

$B;{ED$C$F$$$$$^$9(B. 

$B$4@bL@$"$j$,$H$&$4$6$$$^$7$?(B. 
$BB4O@$GK;$7$/$C$F$*JV;v$,CY$l$^$7$?(B. 

In article <NAKANO.97Feb5104254@orca20.math.ryukoku.ac.jp>
	nakano@math.ryukoku.ac.jp (Hiroshi NAKANO) writes:
>  |$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$$$?$@$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$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$@$H7QB3$r;2>H$9$kJQ?t$bB>$NJQ?t(B
> $B$HF1$8$h$&$K07$o$l$^$9$+$i(B ...

$B$J$k$[$I(B, $B$=$&$$$&$3$H$G$7$?$+(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$HBPHf$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$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$($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$,(B

$B$3$l$O(B, 2$B9TL\$N(B (g 1) -- $B$3$N$H$-(B g $B$O(B 3$B9TL\$N(B (lambda(y)(f y))
$B$H$$$&4X?t(B($B%/%m!<%8%c(B)$B$K$J$C$F$k(B -- $B$NI>2A$K$h$C$F;H$o$l$k(B f $B$,(B, 
2$B9TL\$N(B f $B$G$J$/(B 1$B9TL\$N(B f $B$K$J$C$F$$$k(B, $B$H$$$&$3$H$G$9$M(B. 

$B$3$l$OMW$9$k$K(B scheme $B$O(B static scope $B$G$"$k(B, $B$H$$$&$3$H$G$9$M(B. 

> $B$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$3$A$i$O(B, raise(f y) $B$K$h$k(B f $B$,(B, 2$B9TL\$N(B($B$9$J$o$AFbB&$N(B) handle $B$G(B
$BDj5A(B($B$C$F$$$&$N$+$J(B?)$B$5$l$?(B f $B$H$J$k(B, $B$H$$$&$3$H$J$o$1$G$9$M(B. 

$B$?$7$+$K(B dynamic bind $B$HF1$8?6Iq$$$r$7$^$9$M(B. 
($B$^$"$=$b$=$b(B exception handling $B$,@EE*$K$7$+$G$-$J$$$H$$$&$N$O(B
 $B$[$H$s$I0UL#$J$$$G$9$+$i$M(B. $B$=$l$J$i(B goto $B$G==J,(B)

$B$G(B, $B0c$$$O$o$+$C$?$N$G$9$,(B, $BKM$K$O$=$l$,%9%3!<%W$N0c$$$+(B, 
$B$H$$$&$N$,%$%^%$%A$O$C$-$j$7$J$$$N$G$9(B. 

$B$`$7$m(B, continuation $B$O$=$l<+?H$OL>A0$r;}$?$J$$(B object $B$G$"$k$N$K(B
$BBP$7$F(B, (SML $B$O<B$ONI$/CN$i$J$$$N$@$1$l$I(B) exception $B$H$$$&$N$O(B
$BFHN)$7$?L>A06u4V$r$b$C$F(B, $B$=$l$K$h$C$F$@$1;2>H$5$l$k$h$&$J(B
$B$b$N$J$N$@(B, $B$H$$$&$N$,0c$$$J$N$8$c$J$$$G$7$g$&$+(B. 

 continuation $B$H$$$&5!9=$=$N$b$N$K$O(B scope $B$H$$$&(B
$B35G0$O$D$$$F$J$/$F(B, $B$?$^$?$^(B scheme $B$NJQ?t$N(B binding $B$,(B
$B@EE*$G$"$C$?$@$1$G$O$J$$$G$9$+$M$((B. 

dynamic bind $B$N(B lisp $B$N>e$K$@$C$F(B continuation $B$O9M$($i$l$k$N$G$O(B
$B$J$$$G$7$g$+(B. deep bind $B$N8EE5E*$J(B evaluator $B$@$C$?$i(B, $BJQ?t4D6-$N(B
a-list $B$H(B $B%3%s%H%m!<%k%9%?%C%/$N%Z%"$r$b$F$P==J,$+$J(B?

$B$^$?5U$K(B, scheme $B$G$b(B, $BFHN)$7$?L>A06u4V(B($B$C$?$C$FBg0hE*$J(B a-list $B$G(B
$B==J,$G$9$1$l$I(B)$B$r:n$C$F$d$l$P(B, dynamic $B$J?6Iq$$$r$5$;$i$l$k$o$1$G(B. 

...

$B$H9M$($k$H(B, continuation $B$NJ}$,%(%i%$(B, $B$H$$$&(B, $B0JA0$N5-;v(B
(CMU $B$N(B Technical Report $B$G$7$?$C$1(B?)$B$H$O5U$N7kO@$,=P$F$7(B
$B$^$&$N$,$I$&$b(B...