Applicative よりも Monad ã®æ–¹ãŒåŠ›ãŒå¼·ã„ç†ç”± - ã‚ã©ã‘ãªã„話Applicative よりも Monad ã®æ–¹ãŒåŠ›ãŒå¼·ã„ç†ç”±ã‚’考ãˆã‚‹ãŸã‚ã®ãƒ¡ãƒ¢ã€‚ã“ã‚Œã‹ã‚‰è°è«–ã™ã‚‹ãŸã‚ã®ãŸãŸãå°ãªã®ã§ã€ãã†æ€ã£ã¦èªã‚“ã§æ¬²ã—ã„。 コンテナã§åŒ…ã‚€ return Monad ã¨ã¯ã€ã‚³ãƒ³ãƒ†ãƒŠã§ã‚る。コンテナã¯ã€æ–‡è„ˆã‚’表ã™ã€‚ãŸã¨ãˆã°ã€Maybe ã¨ã„ã†ã‚³ãƒ³ãƒ†ãƒŠã¯ã€å¤±æ•—ã™ã‚‹ã‹ã‚‚ã—ã‚Œãªã„計算ã¨ã„ã†æ–‡è„ˆã‚’表ã™ã€‚ 通常ã®å€¤ã‚„関数を文脈ã«å…¥ã‚Œã‚‹ãŸã‚ã® API ㌠return ã§ã‚る。 return :: a -> ma コンテナ内ã§ã®é–¢æ•°é©ç”¨ <*> 以下ã®ã‚ˆã†ãªåž‹ã‚’æŒã¤é–¢æ•°ã‚’考ãˆã‚‹ã€‚ f :: a -> b ã“ã®é–¢æ•°ã‚’ return を使ã£ã¦æ–‡è„ˆã®ä¸ã«å…¥ã‚Œã¦ã‚„ã‚‹ã¨ã€åž‹ã¯æ¬¡ã®ã‚ˆã†ã«ãªã‚‹ã€‚ return f :: m (a -> b) ã“ã®é–¢æ•°ã‚’ã€ã‚³ãƒ³ãƒ†ãƒŠå†…ã«ã‚る値ã«é©å¿œã™ã‚‹ãŸã‚ã® API ㌠(<*>) ã§ã‚る。 (<*>) :: m (a -> b) -> m a -> m b コンテ
)
モナド (プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°) - Wikipedia
likemuji.net
ç®±ã§è€ƒãˆã‚‹Functorã€Applicativeãã—ã¦Monad
Higher-kinded type trait
{{#tags}}- {{label}}
{{/tags}}