bindã¯fmapã¨joinã«åˆ†è§£ã§ãã‚‹ - Qiitaæ•°æ—¥å‰ã«é ã®ä¸ã§è€ƒãˆã¦ãŸé§„文。 モナドã«ã‚ˆã£ã¦æ€§è³ªãŒå¤§ããé•ã†ã“ã¨ã‹ã‚‰ãƒ¢ãƒŠãƒ‰ã¯æŽ´ã¿ã«ãã„ã‚‚ã®ã ã£ã¦ã®ã¯ã‚ˆã言ã‚れるã“ã¨ã ã‘ã©ã€ãã‚Œã¯å„モナドã®bindã®ç‰¹è‰²ãŒfmapã«å…¥ã£ã¦ã„ã‚‹ã‹joinã«å…¥ã£ã¦ã„ã‚‹ã‹ã«ã‚‚関連ã™ã‚‹ã®ã‹ãªã¨æ€ã£ãŸã€‚ 例ãˆã°ã€Listã‚„Maybeã ã¨ã€joinã¯çš®ã‚’剥ãã ã‘ã§é¢ç™½ã„ã“ã¨ã¯ä½•ã‚‚ã—ã¦ãªãã¦ã€fmapã«ãã®ç‰¹è‰²ãŒå…¥ã£ã¦ã„る。 instance Functor [] where fmap = map map :: (a -> b) -> [a] -> [b] map _ [] = [] map f (x:xs) = f x : map f xs 逆ã«Stateã‚„IOモナドã®fmapã¯å€¤ã‚’普通ã«é–¢æ•°é©ç”¨ã™ã‚‹ã ã‘ã§èƒŒå¾Œã«ã‚る状態ã¯ã¾ã£ãŸã触らãªã„。é¢ç™½ã„ã“ã¨ã‚’ã‚„ã£ã¦ã„ã‚‹ã®ã¯joinã®æ–¹ã§ã€çŠ¶æ…‹ã®å¤‰æ›´ã‚’外å´ï¼Œå†…å´ã€ã¨é †ç•ªã«é€æ¬¡å‡¦ç†ã™ã‚‹å½¹å‰²ã‚’æ‹…ã£ã¦ã„る。 join :: (M
絶対ã«ç†è§£å‡ºæ¥ãªã„モナドãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ« - konn-san.com
QAã§å¦ã¶Monad - ã‚ã©ã‘ãªã„話
第14回 関数脳ã®ã¤ãり方　Second Season　～モナドã§æ‚Ÿã‚Šã‚’ã²ã‚‰ã～
{{#tags}}- {{label}}
{{/tags}}