モナドトランスフォーマーã¨monad-control - maoeã®ãƒ–ãƒã‚°ã‚¢ãƒ‰ãƒ™ãƒ³ãƒˆã‚«ãƒ¬ãƒ³ãƒ€ãƒ¼ã®ã„ã„ãƒã‚¿ãŒç„¡ã„ãªã‚ã¨æ€ã£ã¦ã„ãŸã¨ã“ã‚ã€ã¡ã‚‡ã†ã©é€±æœ«ã«ã‚ãŸã‚‰ã—ã„monad-controlãŒãƒªãƒªãƒ¼ã‚¹ã•ã‚ŒãŸã®ã§ã€ã“れを紹介ã—ãŸã„ãªã¨æ€ã„ã¾ã—ãŸã€‚ ãã®å‰ã«ã€ãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ã¨ã„ã†ã‹ã£ã“ã„ã„åå‰ã®ä»£ç‰©ã®è©±ã‚’ã¡ã‚‡ã£ã¨ã ã‘ã—ã¾ã—ょã†ã€‚ モナドトランスフォーマーã¨ä¾‹å¤–å‡¦ç† Haskellerã®çš†ã•ã‚“ã¯ãã£ã¨æ¯ã‚’ã™ã‚‹ã‹ã®ã‚ˆã†ã«è‡ªç„¶ã«ãƒ¢ãƒŠãƒ‰ã‚’使ã£ã¦ã„ã‚‹ã“ã¨ã¨æ€ã„ã¾ã™ã€‚標準ã§æä¾›ã•ã‚Œã¦ã„るモナドã¯å˜æ©Ÿèƒ½ãªã®ã§ã€çµ„ã¿åˆã‚ã›ãŸããªã£ã¦ãã¾ã™ã€‚必然的ã«çš†ãƒ¢ãƒŠãƒ‰ãƒˆãƒ©ãƒ³ã‚¹ãƒ•ã‚©ãƒ¼ãƒžãƒ¼ã«æ‰‹ã‚’伸ã°ã™ã‚ã‘ã§ã™ã€‚実際ã®ã‚¢ãƒ—リケーションã®ã‚³ãƒ¼ãƒ‰ã‚’書ãã¨ã€å¤šãã®ãƒ¢ãƒŠãƒ‰ã§ã¯ãƒ™ãƒ¼ã‚¹ãƒ¢ãƒŠãƒ‰ãŒIOã«ãªã‚‹ã§ã—ょã†ã‹ã‚‰ã€ä»Šåº¦ã¯è‡ªä½œã—ãŸã‚«ã‚¹ã‚¿ãƒ モナドスタックã§IOãŒæŠ•ã’る例外をãƒãƒ³ãƒ‰ãƒ«ã—ãŸããªã‚‹ã‚ã‘ã§ã™ã€‚ ã“ã“ã§ãµã¨Control.Exception.catchã®åž‹ã‚’ã¿ã‚‹ã¨ Prelude> :t Control
{{#tags}}- {{label}}
{{/tags}}