{"version":"1.0","image_url":"https://images-fe.ssl-images-amazon.com/images/I/41pybn9bpCL._SL160_.jpg","provider_url":"https://hatena.blog","height":"190","type":"rich","categories":["Haskell"],"url":"https://kazu-yamamoto.hatenablog.jp/entry/20101211/1292021817","published":"2010-12-11 07:56:57","blog_title":"\u3042\u3069\u3051\u306a\u3044\u8a71","description":"\u3053\u306e\u8a18\u4e8b\u306e\u76ee\u7684\u306f\u3001Applicative \u4fe1\u8005\u306b\u3088\u308b Applicative \u30b9\u30bf\u30a4\u30eb\u306e\u5e03\u6559\u3067\u3059\u3002\u7c21\u6f54\u306b\u7d50\u8ad6\u3092\u8ff0\u3079\u308b\u3068\u3001 foo = do a <- m1 b <- m2 return (f a b) \u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u66f8\u304d\u305f\u304f\u306a\u3063\u305f\u3089 foo = f <$> m1 <*> m2 \u3068\u66f8\u304d\u307e\u3057\u3087\u3046\u3068\u3044\u3046\u3053\u3068\u3002\u5408\u3044\u8a00\u8449\u306f\u3001\u300cdo \u3068 return \u3092\u306a\u304f\u305b\uff01\u300d\u3067\u3059\u3002 Functor\u3068Monad\u306e\u9593 Functor \u3092\u7279\u6b8a\u5316\u3057\u305f\u578b\u30af\u30e9\u30b9\u304cMonad\u3067\u3001Monad\u306e\u65b9\u304c\u5f37\u529b\u3067\u3059\u3002\u306a\u305c\u306a\u3089\u3001\u30e1\u30bd\u30c3\u30c9\u304c\u5897\u3048\u308b\u304b\u3089\u3067\u3059\u3002Functor\u306e\u30e1\u30bd\u30c3\u30c9\u306ffmap\u3067\u3059\u3002fmap\u306e\u5225\u540d\u3092 () \u3068\u3044\u3044\u307e\u3059\u3002(\u3053\u306e\u8a18\u4e8b\u3067\u306f\u2026","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkazu-yamamoto.hatenablog.jp%2Fentry%2F20101211%2F1292021817\" title=\"Applicative\u306e\u30b9\u30b9\u30e1 - \u3042\u3069\u3051\u306a\u3044\u8a71\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","author_name":"kazu-yamamoto","author_url":"https://blog.hatena.ne.jp/kazu-yamamoto/","title":"Applicative\u306e\u30b9\u30b9\u30e1","blog_url":"https://kazu-yamamoto.hatenablog.jp/"}