モナドã¯ãªãœãƒ¢ãƒŠãƒ‰å‰‡ã‚’満ãŸã•ãªã‘ã‚Œã°ãªã‚‰ãªã„ã®ã‹ï¼Ÿã¯ã˜ã‚ã« Haskellç‰ã§ãƒ¢ãƒŠãƒ‰ã¨ã„ã†æ¦‚念ã«è§¦ã‚Œã¦ã„ã‚‹ã“ã¨ã‚’å‰æã¨ã—ã¾ã™ã€‚ ã¾ãŸã“ã®è¨˜äº‹ã§ã¯åœè«–ã®åŸºç¤Žçš„ãªçŸ¥è˜ã‚’仮定ã—ã¾ã™ (クライスリåœã¨ã‹ãƒ¢ãƒŽã‚¤ãƒ‰å¯¾è±¡ã¨ã‹ã„ã†ç”¨èªžã¯å‡ºã¦ã“ãªã„ã‹ã‚‰å®‰å¿ƒã—ã¦ï¼)。 ç§è‡ªèº«ã¯æƒ…å ±ç³»å‡ºèº«ã§ã¯ãªã„ãŸã‚ã€è¨ˆç®—機科å¦ã«ã¤ã„ã¦ã¯è©³ã—ãã‚ã‚Šã¾ã›ã‚“。ã‚ãã¾ã§è‡ªåˆ†ãªã‚Šã®ç†è§£ã‚’記ã—ãŸã«éŽãŽãªã„ã“ã¨ã‚’ã”了承ãã ã•ã„。 å‚考文献 åœè«–ã®æ©ãæ–¹ ã“ã®æœ¬ã§ã¯ã§ã¯åœè«–ãŒå„分野ã§ã©ã‚“ãªãµã†ã«ä½¿ã‚ã‚Œã¦ã„ã‚‹ã‹ãŒã•ã‚‰ã£ã¨è§£èª¬ã•ã‚Œã¦ã„ã¾ã™ã€‚ 第5ç« ã¯ã€Œãƒ¢ãƒŠãƒ‰ã¨è¨ˆç®—効果ã€ã¨ã„ã†ã‚¿ã‚¤ãƒˆãƒ«ã§æ›¸ã‹ã‚Œã¦ã„ã¾ã™ã€‚ モナド則ã¨ã¯ Haskell ã«ãŠã‘る型クラス Monad ã¨ã¯æ¬¡ã®ã‚ˆã†ãªã‚‚ã®ã§ã™ã€‚ class Monad m where (>>=) :: forall a b. m a -> (a -> m b) -> m b return :: a -> m a ãŸã ã— 2 ã¤ã®é–¢æ•° (>>=) 㨠r
Monad laws - HaskellWiki
Scalazを使ãŠã† #1 | Recruit Tech Blog
{{#tags}}- {{label}}
{{/tags}}