IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

2015-11-03から1日間の記事一覧

fmap f = bind (return . f)

fmap f = bind (return . f)を確認する。 まず、定義の確認 fmap :: (a -> b) -> (W a -> W b) --- {*4} fmap f (W x) = W (f x) --- {*1} return :: a -> W a --- {*6} return x = W x --- {*3} bind :: (a -> W b) -> (W a -> W b) --- {*7} bind f (W x) …