Applicativeのススメ - あどけない話

この記事の目的は、Applicative 信者による Applicative スタイルの布教です。 簡潔に結論を述べると、 foo = do a <- m1 b <- m2 return (f a b) のようなコードを書きたくなったら foo = f <$> m1 <*> m2 と書きましょうということ。 合い言葉は、「do と return をなくせ！」です。 FunctorとMonadの間 Functor を特殊化した型クラスがMonadで、Monadの方が強力です。なぜなら、メソッドが増えるからです。 Functorのメソッドはfmapです。fmapの別名を (<$>) といいます。(この記事では、(<$>) と liftM を同一視します。) そして、Monadのメソッドは、ご存知の通り (>>=) と return です。 FunctorとMonadの間にApplicative

[VoQn]

Applicativeの存在を知ってからの方がよりFunctor, Monad が何で強力と言われるのかわかった気がする．

[igrep]

ブクマしてなかった。今はもうこの記事で言うところの理想化された世界になったからいいよね！

[gomi_ningen]

“合い言葉は、「do と return をなくせ！」です。”

[deeeet]

「コードが奇麗になる，コード量が少なくなる，Monadよりも力の弱いので安全になる，Monadのように複雑なことができないのでデータ設計の間違いに気付ける」

[masterq]

Applicative。"foo = f <$> m1 <*> m2"と書く

[ruicc]

なるほどわかりやすい！Applicativeの謎がようやく解けた。