2014-10-30から1日間の記事一覧
IO の性質は Monad と一緒に出てくる。でも Applicative としても動くはず。 なので試してみた。1. = pure f = fmap のケース (Functor) fmap F m a -----------> m b ↑ F ↑ a -----------> bPrelude> :m Control.Applicative Prelude> ord <$> getChar r 11…
IO の性質は Monad と一緒に出てくる。でも Applicative としても動くはず。 なので試してみた。1. = pure f = fmap のケース (Functor) fmap F m a -----------> m b ↑ F ↑ a -----------> bPrelude> :m Control.Applicative Prelude> ord <$> getChar r 11…