2007-05-31から1日間の記事一覧
昨日のArrowのエントリで MonadもArrow(に出来る)…みたいだけど詳しい事は書いてなかった。 と書いたけど、手っ取り早く、GHC6.6.1のControl.Arrowのソースを見てみた。 要は、モナド自体じゃなくて、モナドの>>=の右辺に渡す b -> m c m b って書くけど、…
昨日のArrowのエントリで MonadもArrow(に出来る)…みたいだけど詳しい事は書いてなかった。 と書いたけど、手っ取り早く、GHC6.6.1のControl.Arrowのソースを見てみた。 要は、モナド自体じゃなくて、モナドの>>=の右辺に渡す b -> m c m b って書くけど、…