快速ã®Extensible effects - モナドã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰extensibleã¯æ‹¡å¼µå¯èƒ½ãƒ¬ã‚³ãƒ¼ãƒ‰ã ã‘ã§ãªãæ‹¡å¼µå¯èƒ½ä½œç”¨(extensible effects)も用æ„ã—ã¦ã„る。拡張å¯èƒ½ä½œç”¨ã¯ä¸€æ™‚期Haskell界隈ã§è©±é¡Œã«ãªã£ãŸã‚‚ã®ã®ã€ä»Šã§ã¯äººæ°—も下ç«ã«ãªã£ã¦ã—ã¾ã£ãŸã€‚æ–°ã—ã„ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã‚’リリースã—ãŸä»Šã€æ‹¡å¼µå¯èƒ½ä½œç”¨ã®å‹•æ©Ÿã¨ä½¿ã„æ–¹ã«ã¤ã„ã¦æ”¹ã‚ã¦ç´¹ä»‹ã—よã†ã€‚ 難行ã®ä¸€æ¬¡é–¢æ•° Haskellã§ãƒ¢ãƒŠãƒ‰ã‚’カスタマイズã™ã‚‹æ–¹æ³•ã¨ã—ã¦ã¯ã€transformersã®ãƒ¢ãƒŠãƒ‰å¤‰æ›åãŒã‚ˆã使ã‚ã‚Œã¦ã„る。モナド変æ›åã¯ã€ãƒ¢ãƒŠãƒ‰ã‚’パラメータã¨ã—ã¦å–ã‚Šã€æ–°ãŸãªèƒ½åŠ›ã‚’付与ã—ãŸãƒ¢ãƒŠãƒ‰ã«ã™ã‚‹æ§‹é€ ã 。例ãˆã°ã€StateT sã¯ãƒ¢ãƒŠãƒ‰å¤‰æ›åã®ä¸€ã¤ã§ã‚る。任æ„ã®ã‚¢ã‚¯ã‚·ãƒ§ãƒ³m aã¯liftを使ã£ã¦StateT s m aã«å¤‰æ›ã§ãる。 newtype StateT s m a = StateT { runStateT :: s -> m (a, s) } ä»–ã«ã‚‚ReaderT, Write
Notions of Computations and Effects - Just $ A sandbox
{{#tags}}- {{label}}
{{/tags}}