🚀 go-pugleaf

$B<f6j(B $BMM!"(B

$B%U%)%m!<$"$j$,$H$&$4$6$$$^$7$?!#(B

$B<f6j(B> 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

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

$B<f6j(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<f6j(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<f6j(B> $B$$$h$&$J(Bgoto$B$G$9!#7?$,(Bcallcc$B$H;w$F$$$F$b!"I=8=NO$,0c$$$^$9!#(B

$B$O$$!"$=$&$G$9$M!#(B

$B<f6j(B> $B7QB3$K$D$$$FJ88%$O;3$[$I$"$j$^$9!#I=8=NO$KFC$K6=L#$,$"$k$J$i$P!"(BPOPL94
$B<f6j(B> $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<f6j(B> $B$7$g$&!#(B

$B>pJs$r$"$j$,$H$&$4$6$$$^$9!#$H$j$"$($:!"%j%W%i%$$r$7$^$9!#<ALd$NGX7J$O!"(B
$B0J2<$NO@J8(B

Carl Gunter, Didier Remy, and Jon Riecke. A generalization of
exceptions and control in ML-like languages. In: 1995 Conference on
Functional Programming and Computer Architecture, pages 12-23, La
Jolla, CA, June 1995.

$B$K(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$H$"$k$3$H$rCN$C$F!"!V$3$l$ONI$/CN$i$l$?(B folklore $B$J$N$+!)(B $B$9$0M}2r$G(B
$B$-$k$b$N$+!)!W$H;d$,<aA3$H$7$J$+$C$?$3$H$G$9!#;d$O!";DG0$J$,$i(B call/cc 
$B$H$+(B exception $B$H$+$,?H$K$7$_$F$^$;$s!#(B

$B!V(BCall/cc $B$,(B exception $B$r;H$C$F%^%/%m$H$7$FDj5A$G$-$J$$!W$O!"%U%)!<%^(B
$B%k$J>ZL@$O$o$+$j$^$;$s!#$G$b!"<f6j$5$s$N@bL@$G>/$746$8$,$o$+$j$^$7$?!#(B
$B$"$j$,$H$&$4$6$$$^$7$?!#(B

$B$=$N5U!V(BException $B$,(B Call/cc $B$r;H$C$F%^%/%m$H$7$FDj5A$G$-$J$$!W$K$D$$(B
$B$F$O!"OC$7$,HyL/$G$9!#(B

$B!z(B Mark Lillibridge, Exceptions Are Strictly More Powerful Than
Call/CC, CMU-CS-95-178 $B!J$A$g$C$HFI$s$@!K!'(B

	$B$=$N$3$H$r%U%)!<%^%k$K>ZL@$7$F$$$k$3$H$K$J$C$F$$$k!#(B
	
$B!z(B $B<f6j$5$s$,>R2p$7$?(B Filinski $B$NO@J8!J$A$g$C$H8+$?!K!'(B

	Exception (Monad) $B$r7QB3$K4X$9$k1i;;(B(shift, reset; call/cc $B$h(B
	$B$j4qNo$@$H$$$o$l$F$$$k(B)$B$J$I$G(B represent $B$7$F$$$k!#(B

$B$&!<$`!#>pJs!&0l2H8@$r$*;}$A$NJ}$O$h$m$7$/65$($F2<$5$$!#(B

						$B@V4V(B
-----------------------------------------------------------------------------
 $BEl5~Bg3X(B $BBg3X1!M}3X7O8&5f2J(B $B>pJs2J3X@l96(B $B@V4VM[Fs(B
$B")#1#1#3(B $BEl5~ET(B $BJ85~6h(B $BK\6?#7!]#3!]#1(B $BM}3XIt>pJs2J3X2J(B
$B!J#T#E#L!K#0#3(B($B#3#8#1#2(B)$B#4#1#7#7!JD>DL!K!"#0#3(B($B#3#8#1#2(B)$B#2#1#1#1!JFb@~#4#0#9#7!K!"(B
$B!J#F#A#X!K#0#3(B($B#3#8#1#8(B)$B#1#0#7#3(B
--

-----------------------------------------------------------------------------
 $BEl5~Bg3X(B $BBg3X1!M}3X7O8&5f2J(B $B>pJs2J3X@l96(B $B@V4VM[Fs(B
$B")#1#1#3(B $BEl5~ET(B $BJ85~6h(B $BK\6?#7!]#3!]#1(B $BM}3XIt>pJs2J3X2J(B
$B!J#T#E#L!K#0#3(B($B#3#8#1#2(B)$B#4#1#7#7!JD>DL!K!"#0#3(B($B#3#8#1#2(B)$B#2#1#1#1!JFb@~#4#0#9#7!K!"(B
$B!J#F#A#X!K#0#3(B($B#3#8#1#8(B)$B#1#0#7#3(B