エフェクトã¨ã‚¸ã‚§ãƒãƒ¬ãƒ¼ã‚¿ãƒ¼ã¨ - Object.create(null)2 å¹´å‰ã«ä½œã£ã¦æ”¾ç½®ã—ã¦ã„ãŸãƒ©ã‚¤ãƒ–ラリを最近ã¡ã‚‡ã£ã¨æ•´ç†ã—ãŸã®ã§ãã®è©±. エフェクト プãƒã‚°ãƒ©ãƒ ä¸ã«ç™»å ´ã™ã‚‹é–¢æ•°ã®ã“ã¨ã‚’考ãˆã¦ã¿ã¾ã—ょã†. 関数ã¯å¼•æ•°ã‚’与ãˆã‚‹ã¨ãªã‚“らã‹ã®è¨ˆç®—ã‚’è¡Œã„, 戻り値を返ã—ã¦ãã‚Œã¾ã™. ã‚‚ã—関数ãŒç´”粋㪠(æ•°å¦çš„ãªæ„味ã§ã®) 関数ã§ã‚ã‚Œã°, 関数ã®å…¥å‡ºåŠ›ã¯å¼•æ•°ã¨æˆ»ã‚Šå€¤ã ã‘ã§ã™. ã¤ã¾ã‚Š, 引数以外ã®å…¥åŠ› (例ãˆã°æ™‚刻) ã«ã‚ˆã£ã¦å‡ºåŠ›ãŒå¤‰ã‚ã‚‹ã“ã¨ã‚‚ãªã‘ã‚Œã°, 戻り値以外ã®å‡ºåŠ› (例ãˆã°å…‰ã‚„音) ãŒå¾—られるã“ã¨ã‚‚ã‚ã‚Šã¾ã›ã‚“. 一方ã§å®Ÿç”¨çš„ãªä¾¡å€¤ã®ã‚るプãƒã‚°ãƒ©ãƒ ã¨ã„ã†ã®ã¯æ™‚刻ã«å¿œã˜ã¦å…‰ã‚„音を発生ã•ã›ã‚‹ã‚ˆã†ãªã‚‚ã®ã§ã‚ã‚Š, ã“れらã¯ç´”粋ãªé–¢æ•°ã ã‘を組ã¿åˆã‚ã›ã¦ã„ã¦ã¯ä½œã‚‹ã“ã¨ãŒã§ãã¾ã›ã‚“. ã“ã“ã§ç™»å ´ã™ã‚‹ç´”粋ã§ãªã„関数ã¯, 計算ã®éŽç¨‹ã§ãªã‚“らã‹ã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚’発生ã•ã›ã¦, 引数ã¨æˆ»ã‚Šå€¤ä»¥å¤–ã®å…¥å‡ºåŠ› (副作用) ã‚’è¡Œã„ã¾ã™. エフェクトã®æ˜Žç¤ºã¨å‰¯ä½œç”¨ã®åˆ†é›¢ 関数ãŒç™ºç”Ÿã•ã›ã‚‹ã‚¨ãƒ•ã‚§ã‚¯
Authorization to implement with Extensible Effect
Effã¨ãƒªãƒ¼ã‚ーãƒã‚™ã‚±ãƒƒãƒˆã‚’使ã£ã¦å®Ÿè£…ã™ã‚‹ãƒ¬ãƒ¼ãƒˆãƒªãƒŸãƒƒãƒˆ
アルプã®Eff独自エフェクト集 / Alp-original ’Eff’ pearls
Extensible Effects with Scala/eff-with-scala
An interpreter handling over effects for Ef
Extensible Effects ã¯ãƒ¢ãƒŠãƒ‰å¤‰æ›åã«å¯¾ã™ã‚‹æ•‘世主ã«ãªã‚Šå¾—ã‚‹ã‹ï¼Ÿ
ã¯ã˜ã‚ã¦ã® Monad, Monad Transformer, Extensible Effects | Recruit Tech Blog
{{#tags}}- {{label}}
{{/tags}}