sirocco https://blog.hatena.ne.jp/sirocco/ sirocco の書いてもすぐに忘れるメモ https://sirocco.hatenadiary.org/ Haskell Applicative functorsに pure という関数が登場します。 その役目は Monad の return に似ています。 まず、 return の復習、というより良く分かっていませんでした・・・Orz class Monad m where (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b return :: a -> m a fail :: String -> m a -- Defined in GHC.Base instance Monad Maybe -- Defined in Data.Maybe i… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsirocco.hatenadiary.org%2Fentry%2F20110628%2F1309294120" title="pure は良きにはからって型を合わせてくれます。 - sirocco の書いてもすぐに忘れるメモ" 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 2011-06-28 05:48:40 rich https://sirocco.hatenadiary.org/entry/20110628/1309294120 1.0 100%