🚀 go-pugleaf

In article <AKAMA.97Jan9005151@siena.is.s.u-tokyo.ac.jp> akama@is.s.u-tokyo.ac.jp (AKAMA Youji) writes:

> $B$5$F!"(B $B%W%m%0%i%`8@8l(B $B#M#L$K$*$$$F!"(B exception, raise, handle $B$J$I$G!"(B
> call/cc $B$_$?$$$J$3$H$,$I$l$/$i$$$G$-$k$N$G$7$g$&$+!)(B

> $B!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a!a(B
> Standard ML of New Jersey, Version 0.93, February 15, 1993
> val it = () : unit
> - val Peirce = fn w => let exception y of '1a in  w(fn z => raise(y z)) handle (y x) => x end;
> val Peirce = fn : (('1a -> 'b) -> '1a) -> '1a

> $B$3$l$G$O(B call/cc $B$h$j<e$$$G$9$+$M!#!#!#!#(B

$BNc30=hM}$H7QB3$H!"$I$A$i$b(Bgoto$B$_$?$$$J$3$H$,<BAu$G$-$k$+$i;w$F$$$k$H$$(B
$B$($P!";w$F$$$^$9$1$l$I$b!"0c$$$NJ}$,Bg$-$$$H;W$$$^$9!#(B

$BNc$($P!"(B($B0lEy(B)$B7QB3$O2?2s$G$b<B9T$G$-$k$,!">e$N$h$&$J$d$jJ}$G$O0l2s$7$+(B
$B$G$-$^$;$s!#Fs2sL\$O(Btoplevel$B$N%(%i!<$K$J$j$^$9!#A0$K$7$+%8%c%s%W$G$-$J(B
$B$$$h$&$J(Bgoto$B$G$9!#7?$,(Bcallcc$B$H;w$F$$$F$b!"I=8=NO$,0c$$$^$9!#(B

$B7QB3$K$D$$$FJ88%$O;3$[$I$"$j$^$9!#I=8=NO$KFC$K6=L#$,$"$k$J$i$P!"(BPOPL94
$B$N(BAndreszj Filinzki$B$NO@J8(B($B%b%J%I$r7QB3$G%(%s%3!<%I$9$k$b$N(B)$B$,LLGr$$$G(B
$B$7$g$&!#(B

	$B<f6j(B
-- 
---------------------------------------------------------------------------
Jacques Garrigue	Kyoto University      garrigue@kurims.kyoto-u.ac.jp
     <A HREF="http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/">JG</A>