🚀 go-pugleaf

In article <10710.853985145@rananim.ie.u-ryukyu.ac.jp> kono@ie.u-ryukyu.ac.jp (Shinji Kono) writes:

> $B2OLn(B $B??<#(B@$BN05eBg>pJs9)3X$G$9!#(B(Hope$B$H$+7k9=9%$-$G$9(B)

OZ $B$H$+$O$$$+$,!)(B $B$b$&$9$0%P!<%8%g%s#2$,=P$k$=$&$G$9!#(B

> In article <mc4tgaryxj.fsf@griffon.kaba.or.jp> , 
> 	garrigue@kaba.or.jp (Jacques Garrigue) writes 
>> $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

> monad $B$C$F!"(Bpascal $B$N(B ; $B$r(B fuctional language $B$G(B encode $B$7$F$$$k$_$?$$(B
> $B$G$9$M!#$=$l$r!"(Bcontinuation $B$G(B encode $B$9$k$s$G$9$+$!(B...

> $B$J$s$+$9$4$$!#(B

$B<B$O7QB3$@$1$G$OB-$j$J$$!#(Breference 1$B8D$bMW$k!#(BSML$B$N(Bfunctor$B$rDj5A$7$F!"(B
$B$=$N(Bfunctor$B$r$$$m$s$J$J(Bmonad$B$KE,MQ$9$k$H!"<B9T$KI,MW$J4X?t$r:n$C$F$/$l(B
$B$k$H$$$&$7$/$_$G$7$?!#(Bmonad$B$O(Bstate monad$B$@$1$G$O$J$/!"(BProlog$B$_$?$$$J(B
non-determinism monad$BEy$b;H$($k!#5-21$,@5$7$1$l$P!"(Bcontrol$B7O$N(Bmonad$B$,(B
$BA4$F;H$($k$H$$$&>ZL@$,IU$$$F$^$7$?!#(B

reference$B$NI,MW@-$K4X$7$F!"(Bstate$B$,$J$$$H7QB3$O$"$^$j0UL#$,$J$$$N$G!"BE(B
$BEv$+$H;W$$$^$9!#$G$b5DO@$G$-$k$H$3$m$G$7$g$&!#(B
-- 
---------------------------------------------------------------------------
Jacques Garrigue	Kyoto University      garrigue@kurims.kyoto-u.ac.jp
     <A HREF="http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/">JG</A>