Life Goes On

まあまあだけど楽しんでる方です

2009-10-01から1ヶ月間の記事一覧

S コンビネータいろいろ

上のエントリでのプチ収穫。 モナドとコンビネータ論理のコラボ!とか喜んでたら、既に先達が。 [Haskell-cafe] Point-free style 【オブジェクト倶楽部: 2008-33号】 import Control.Monad.Reader s = flip (>>=) . flip k = return そういえばArrowでも書…

Reader モナドは引数隠蔽モナド

以前にもエントリを書きましたが、Readerモナドがさっぱり分からないので、もう一度勉強してみました。 あまり深く考えずに Reader a を a -> と読み替えると、関数の型は以下のようになります。 関数 型 等価な関数 (>>=) (a->b) -> (b->a->c) -> a -> c (=…