モナドã®å…ã¤ã®ç³»çµ±[Functor x Functor] - モナドã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰ãƒ¢ãƒŠãƒ‰ã¯ã€Œã‚¢ã‚¯ã‚·ãƒ§ãƒ³ã€ã‚’表ã™æŠ½è±¡çš„ãªæ§‹é€ ã§ã‚る。モナドã¯ã€Haskellã«ã•ã¾ã–ã¾ãªæ¦‚念ã«å¯¾ã™ã‚‹è¨˜è¿°èƒ½åŠ›ã‚’ã‚‚ãŸã‚‰ã™ã€‚ モナドã®åŸºç¤Ž return :: a -> m a: 純粋ãªå€¤ã‚’モナドã§åŒ…む。 m >>= f :: m a -> (a -> m b) -> m b: モナドmã«åŒ…ã¾ã‚ŒãŸå€¤ã‚’fã«æ¸¡ã—ã€ãã®çµæžœã¨ã—ã¦ç¾ã‚ŒãŸãƒ¢ãƒŠãƒ‰ã‚’çµåˆã™ã‚‹ã€‚ 固有アクション: ãã‚Œãžã‚Œã®ãƒ¢ãƒŠãƒ‰ã«å›ºæœ‰ã®æ–¹æ³•ã§ãƒ¢ãƒŠãƒ‰ã‚’生ã¿å‡ºã™ã€‚ 実行: モナドã«åŒ…ã¾ã‚ŒãŸå€¤ã‚’ã€ã‚ˆã‚Šæ ¹æºçš„ãªå½¢ã«é‚„å…ƒã™ã‚‹ã€‚ モナド則 モナドã«ä»¥ä¸‹ã®ä¸‰ã¤ã®åˆ¶ç´„を課ã™ã“ã¨ã«ã‚ˆã£ã¦ã€æœ€ä½Žé™åº¦ã®è¨˜è¿°èƒ½åŠ›ã‚’ä¿è¨¼ã—ã¦ã„る。 return a >>= k == k a m >>= return == m m >>= (\x -> k x >>= h) == (m >>= k) >>= h より強ã„制約ã¯ã€ã‚ˆã‚Šå¼·ã„力を生ã¿å‡ºã™ã€‚ モナドã®åˆ†é¡ž モナドã¯ã€ä»¥ä¸‹ã®6ã¤
![モナドã®å…ã¤ã®ç³»çµ±[Functor x Functor] - モナドã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰](https://cdn-ak-scissors.b.st-hatena.com/image/square/1dac1d5bb42a4f0ab170c9e9d0ebac7ce6c8128a/height=288;version=1;width=512/https%3A%2F%2Fcdn.image.st-hatena.com%2Fimage%2Fscale%2F7184d5340829a20cdfeb6e6705855ac9d37b9836%2Fbackend%3Dimagemagick%3Bversion%3D1%3Bwidth%3D1300%2Fhttp%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Ff%252Ffumiexcel%252F20130605%252F20130605170915.png)
{{#tags}}- {{label}}
{{/tags}}