モナド教å‰æ知è˜ï¼šãƒ¢ãƒŠãƒ‰ モナドをç†è§£ã›ãšã¨ã‚‚モナド教を信ãšã‚‹ã“ã¨ã¯å‡ºæ¥ã¾ã™ãŒï¼Œç†è§£ã—ã¦ã„ã‚Œã°ã‚ˆã‚Šæ·±ãç´å¾—ã§ãã‚‹ã§ã—ょã†ï¼Ž æ“作 :: åž‹ -> åž‹ ã¯ï¼Œ"åž‹"ã‹ã‚‰"åž‹"ã¸å†™ã™"æ“作"ã®å˜åœ¨ã‚’表ã—ã¾ã™ï¼Ž モナドã®æ–‡è„ˆ m ãŒå¿…è¦ã¨ã™ã‚‹2ã¤ã®æ“作： return :: a -> m a ã§ï¼Œå€¤ã‚’ä¿ã¡ã¤ã¤æ–‡è„ˆ m ã®ä¸ã«å…¥ã‚Œè¾¼ã‚€ã“ã¨ãŒå‡ºæ¥ã¾ã™ï¼Ž (=<<) :: (a -> m b) -> (m a -> m b) ã§ï¼Œã€Œå€¤ã‚’文脈ã«å…¥ã£ãŸåˆ¥ã®å€¤ã¸å†™ã™æ“作ã€ã‚’「文脈ã«å…¥ã£ãŸå€¤ã‚’åŒã˜æ–‡è„ˆã«å…¥ã£ãŸåˆ¥ã®å€¤ã¸å†™ã™æ“作ã€ã«å¤‰æ›ã—ã¾ã™ï¼Ž id :: a -> a ã¯å€¤ã‚’ãã®ã¾ã¾è¿”ã™æ“作ã§ã™ï¼Ž id ã‚’ =<< ã§å¤‰æ›ã—ã¦å¾—られるæ“作 join :: m (m a) -> m a ã§ï¼ŒäºŒé‡ã«æ–‡è„ˆã«å…¥ã£ãŸå€¤ã‚’一é‡ã®æ–‡è„ˆã«å…¥ã£ãŸå€¤ã«æˆ»ã™ã“ã¨ãŒå‡ºæ¥ã¾ã™ï¼Ž 文脈ã®å€¤ã‹ã‚‰ç”Ÿã®å€¤ã‚’å–り出ã™åž‹ m a -> a ã‚’æŒã¤æ“作ã¯ï¼Œä¸€èˆ¬
{{#tags}}- {{label}}
{{/tags}}