🚀 go-pugleaf

$BCfLn$G$9!#(B

In article <KURODA.97Feb6182051@undine.msi.co.jp>
kuroda@undine.msi.co.jp (KURODA Hisao / $B$/$m$@(B $B$R$5$*(B) writes:

 | | Scheme $B$G$O(B($BIaDL$NJQ?t$G$9$+$i(B) lexical scope $B$r;}(B$B$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
 |			   ^^^^^^^^^^^^^^^^^^^^^^^^^^
 |indefinite$B$,(BScheme$B$G(Bdynamic$B$,(BSML$B$J$N$G$O$"$j$^$;$s$+(B?

$B$$$(!"0c$&$H;W$$$^$9!#(B

# $B$R$g$C$H$7$F!"(Bscope $B$H(B extent $B$r:.F1$J$5$C$F$$$^$;$s$+(B?  $BCfLn$NG'<1(B
# $B$K$D$$$F$O(B <NAKANO.97Jan27151745@dugong37.math.ryukoku.ac.jp> $B$r8fMw(B
# $B2<$5$$!#(B indefinite scope $B$H(B dynamic scope $B$OF1$80UL#$K;H$C$F(B$B$$$^$9!#(B

 |Scheme$B$N7QB3$,(Bindefinite extent$B$r;}$D$3$H$r<($7$?$$$N$G$"$l$P!"(B
<$BN,(B>
 |$B$N$h$&$J$+$s$8$G(Bdynamic$B$G$"$k!"$H$$$&$N$,8@$($k$H;W$$$^$9!#(B

$B$O$$!"$*$C$7$c$kDL$j$G$9!#(B

$B$3$N(B extent $B$NJ}$N0c$$$O(B call/cc $B$H(B raise/handle ($B$"$k$$$O(B catch/throw)
$B$NAj0cE@$H$7$FNI$/CN$i$l$F$$$k$H;W$$$^$9$,!"$3$l$@$1$G$O!"@V(B$B4V$5$s$,(B
<AKAMA.97Jan23162641@amsterdam.is.s.u-tokyo.ac.jp> $B$G0zMQ$J$5$C$F$$$?(B

 |	  It is folklore (the authors know of no published proof) that
 |	  neither exceptions nor continuations can be expressed as a
 |	  macro in terms of the other (at least if no references are
 |	  present), even though they are closely relate.

$B$N$&$A!"(Bcall/cc $B$,(B raise/handle $B$G=q$1$J$$$3$H$O@bL@$G$-$F$b!"$=$N5U$N(B
rasie/handle $B$,(B call/cc $B$G$O=q$1$J$$$H$$$&J}$,@bL@$G$-$J$$$N$G$9!#(B
--
			Hiroshi Nakano <nakano@rins.ryukoku.ac.jp>
			Ryukoku Univ., Seta, Otsu, Japan