🚀 go-pugleaf

$@:4F#<~9T(J@$@Bg7?7W;;5!%;%s%?!<(J.$@6eBg(J $@$H?=$7$^$9!#(J

continuation $@$K$D$$$F$O!VM}O@E*$K$"$C$?J}(J$@$,$h$$!W$H$$$&0U8+$G$9!#(J

$@$H$3$m$,!V(J(Appel$@$N(J)$@<BAu$O==J,<BMQE*$+!W$H$$$&$3$H$K$D$$$F$O:G6a:.Mp$7$F$$$^(J$@$9!#(J
$@3'$5$s$N$*CN7C$rGR<Z$5$;$F2<$5$$!#(J

$@EOItBnM:(J@JAIST-EAST $@$5$s$O0J2<$N$h$&$K$*=q$-$K$J$j$^$7$?!#(J

In article <TAKUO.92Sep4200002@gryphon.jaist-east.ac.jp> takuo@jaist-east.ac.jp (Takuo Watanabe) writes:

 >$@F1$8$/!%;d$b;3:j$5$s$N5-;v$rFI$s$G!V$*$d!)!W$H;W$$$^$7$?!%(J1st
 >class continuation $@$O<BAu>eIiC4(J$@$G$"$k$H$$$&$3$H$G$7$g$&$+!)(J elk 
 >$@$_$?$$$K%9%?%C%/$N%3%T!<$r:n$C$F$$$k$N$J$i$$$6$7$i$:!$:#$O$b$C$H(J
 >$@$^$7$J!J==J,<BMQE*$J!K(J1st class continuation $@$N<BAuJ}<0$,$"$k$H(J
         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >$@;W$&$N$G$9$,!%!JNc$($P(J [1] $@$J$I!K(J
 >
 >$@;d$O(J 1st class continuation $@$,$J$$$N$O(J$@$A$g$C$H;DG0$J5$$,$7$^$9!%(J
 >
 >[1] Andrew W. Appel, "Compiling with Continuations",
 >    Cambridge University Press. 1992

$@$3$l$J$s$G$9$,!"(J($@$A$g$C$HEOIt$5$s$N0U8+$r$M$8$^$2$F(J[1]$@!V$@$1!W$,(J
$@<BMQE*$J<BAu(J$@K!$@$H;W$&$3$H$K$7$^$9!#(J
$@EOIt$5$s$O$3$s$JMpK=$J$3$H$O8@$C$F$$$^$;$s!#G0$N$?$a(J)

$@$G!"(J[1] $@$@$1$KOC$r9J$k(J$@$H(J...


$@;d$,(JAppel $@$N(J SML$@$N%i%s%?%$%`$K4XO"$9$k$b$N$G:G=i$KFI$s$@O@J8$O(J

[2] Andrew W. Appel, "Garbage collection can be faster than stack allocation,"
IPL vol.25, 1987, 275--279.

$@$G!"%9%?%C%/$r;H$o$:$K(J$@!"%R!<%W$K%l%3!<%I$r$I$s$I$s<h$C$F$$$C$F$b(J
$@2?$bLdBj$,$J$$$h(J $@$H$$$&%G!<%?$D$-$N<gD%$K!V$r$r(J!$@!W$H46F0$7(J$@$?$b$N$G$7$?!#(J
[1] $@$N%i%s%?%$%`%k!<%A%s$N@_7WJ}?K$O4pK\E*$K$3$l$+$iJQ$o$C$F$$$J$$!#(J

$@$H$3$m$,!"$3$s$J(J$@O@J8$b$"$j$^$9!#(J

[3] R. Hieb, R. K. Dybvig, C. Bruggeman,
    "Representing Control in the Presence of First-Class Continuation,"
    Proc. SIGPLAN '90 Conference on Programming Language Design and Implementation,
    1990, 66--77.

$@$3$l$K$O%R!<%W>e$K%l%3!<%I$r<h$C$F$$$/$H!"(J frame linkage cost, GC overhead,
decreased locality of reference $@$J$I$NLdBj$,82:_2=$7!"FC$K(J 3$@HVL\$O(J
$@BgMFNL$N%-%c%C%7%e$r;}$D(JRISC $@%7%9%F%`>e$G$O$^$:$$!#$3$l$r2r7h$9$k$K$O1>!9!#$H(J
$@%9%?%C%/$r$"$k0UL#$GI|3h$5$;$?%7%9%F%`$rDs0F$7$F$$(J$@$^$9!#(J
$@$H$3$m$,$3$A$i$K$O<BB,%G!<%?$,$J$$(J...$@$G$b@bF@NO$O$"$k(J...

$@$G:G6a!"(J 1st class continuation $@$N!V(J$@<BAu!W$,(J Appel $@$N(J SML/NJ$@N.$GNI$$$N$+(J
$@:.Mp$7$F$$$^$9!#(J
($@:.Mp$9$kA0$K(J SML $@$r$$$8$C$F<B83$7$F$_$m$H$$$&GM(J$@@<$,Ht$S$=$&$G$9$,!"(J
 $@$=$l$O0l1~C*>e$2$7$F$*$$$F!"$h$$$7$g(J)
$@$J$K$+>\$7$$>pJs$r$*;}$A$NJ}$O$$$i$C$7$c$$(J$@$^$;$s$+(J?


if (1st class cont. $@$N<BAu$,=E$$(J) cont. $@$r30$9$N$O@52r(J;
else $@IT@52r(J;

$@$H$7$F$b!V=E$$$H$O!W(J$@$H$$$&<ALd$K$O$$$m$$$m$JEz$,$"$k$s$G$7$g$&$M!#(J


$@:4F#<~9T(J@$@Bg7?7W;;5!%;%s%?!<(J.$@6eBg(J