hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 技術 sequenceを使えば、複数個あるモナド値を1つのモナド値に集められる。 xs :: (Functor m, Monad m) => m [()] xs = sequence [return x' | x' <- [(),()..]] xsはモナドに包まったリストなので、fmapを使ってheadを持ち上げれば先頭要素がとれる。 x :: (Functor m, Monad m) => m () x = fmap head xs これをIdentityモナドとして動かしてみる。 > runIdentity x ()よし！ Writerモナドとして動かしてみる。 > runWriter (x :… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20130518%2F1368862138" title="fmap head VS sequence - Pixel Pedals of Tomakomai" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-05-18 16:28:58 rich https://hiratara.hatenadiary.jp/entry/20130518/1368862138 1.0 100%