hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 技術 数学 Monad 最後に出した例ですが、 module Main where main :: IO () main = getLine >>= putStrLn . reverse モナドで悟りをひらきたいのなら - 図でわかる(?)モナド さきほどのエントリの図が全部わかれば、以下のような図も書けますね。reverseをfmapで持ち上げて橋を架け、落ちているputStrの左端を>>=で吊るし上げます。この図でできるIO StringからIO ()への関数は、モナドの性質(≒可換性)から、ありがたいことに最初の図でできる関数と同じになります。この図から、以下のコードが書けます。 module Main whe… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20091031%2F1256990195" title="図でわかる(?)モナド おまけ: 図からコードを書く - 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> https://cdn-ak.f.st-hatena.com/images/fotolife/h/hiratara/20091030/20091030233100.png Hatena Blog https://hatena.blog 2009-10-31 20:56:35 rich https://hiratara.hatenadiary.jp/entry/20091031/1256990195 1.0 100%