🚀 go-pugleaf

$B2OLn(B $B??<#(B@$BN05eBg>pJs9)3X$G$9!#(B

Monad$B$O(BHaskel$B$NK\(B($B$3$3$GOCBj$K$J$C$?$N$G>/$7JY6/$7$F$_$^$7$?(B)
$B$K=P$F$$$?Nc$0$i$7$7$+$7$i$J$$$N$G$9!#OCBj$K=P$=$&$+$H;W$C$F(B
$B$$$?$i$A$g$&$I=P$F$-$?$N$G$&$l$7$$$G$9!#(B

In article <mcoheh2dyr.fsf@griffon.kaba.or.jp> , 
	garrigue@kaba.or.jp (Jacques Garrigue) writes 
>$B<B$O7QB3$@$1$G$OB-$j$J$$!#(Breference 1$B8D$bMW$k!#(B

$B$=$&$G$7$g$&$M!#(BMonad $B$H$$$&$N$O!"C1$J$k(Bsyntax sugar$B$G$O$J$/$F!"(B
new sematics $B$J$N$G$9$h$M(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

Garrigue $B$OI,MW$@$H;W$&(B? $BKM$OI,MW$J$b$N$@$H;W$$$^$9$1$I!"(BMonad
$B$r;}$D8@8l$r(B Functional $B$H$$$&$N$O>/$7Dq93$,$"$j$^$9!#(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

$B$=$l$O!"(Bsemphore $B$H$+$NCj>]2=$K$b;H$($=$&$G$9$M!#(B
---
Shinji KONO @ Information Engineering, University of the Ryukyus
$B2OLn??<#(B @ $BN05eBg3X9)3XIt>pJs9)3X2J(B