ICFP2016 の併設ワークショップ Haskell 2016 での ApplicativeDo のトーク Simon Marlow, et. al. ``Desugaring Haskell's do-Notation into Applicative Operations'' がおもしろかったので、ざっくり紹介してみたいと思います。 Applicative と Monad と do 記法 Monad は do 記法が用意されていて簡単に書けるので良く使われる一方で、Applicative には専用の記法がないため、Applicative で十分な場合でもプログラマは do 記法による Monad を使うことが多いようです。 Applicative では逐次実行の能力しかないため、くり返しや条件分岐ができない一方で、(<*>) の両辺は直接依存関係が無いため、Monad の場合と比べて