Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2013-05-18から1日間の記事一覧

fmap head VS sequence

sequenceを使えば、複数個あるモナド値を1つのモナド値に集められる。 xs :: (Functor m, Monad m) => m [()] xs = sequence [return x' | x' <- [(),()..]] xsはモナドに包まったリストなので、fmapを使ってheadを持ち上げれば先頭要素がとれる。 x :: (Fun…