モナド教å‰æ知è˜ï¼šãƒ¢ãƒŠãƒ‰ モナドをç†è§£ã›ãšã¨ã‚‚モナド教を信ãšã‚‹ã“ã¨ã¯å‡ºæ¥ã¾ã™ãŒï¼Œç†è§£ã—ã¦ã„ã‚Œã°ã‚ˆã‚Šæ·±ãç´å¾—ã§ãã‚‹ã§ã—ょã†ï¼Ž æ“作 :: åž‹ -> åž‹ ã¯ï¼Œ"åž‹"ã‹ã‚‰"åž‹"ã¸å†™ã™"æ“作"ã®å˜åœ¨ã‚’表ã—ã¾ã™ï¼Ž モナドã®æ–‡è„ˆ 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 ã‚’æŒã¤æ“作ã¯ï¼Œä¸€èˆ¬
Haskellコードã®é«˜é€ŸåŒ–
使ã£ã¦ã¿ã‚ˆã† Enumerator - ã‚ã©ã‘ãªã„話
No Such Blog or Diary - ICPCã‚’Haskellã§ã‚„ã‚ã†ã¨ã—ãŸã¨ãã®ãƒ†ãƒ³ãƒ—レート
Lazy I/O must go! - Iteratee: 列挙ベースã®I/O - 純粋関数型雑記帳
モナドã£ã¦çµå±€ä½•ãªã®ã‚ˆ? — join to Monad v0.1 documentation
関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ¥½ã—ã¿ - ã‚ã©ã‘ãªã„話
モナドã§æ‚Ÿã‚Šã‚’ã²ã‚‰ããŸã„ã®ãªã‚‰ - 図ã§ã‚ã‹ã‚‹(?)モナド - Pixel Pedals of Tomakomai
{{#tags}}- {{label}}
{{/tags}}