Effect ã®åŒå¯¾ã€Coeffect
昨今巷㧠Effect システムãŒæµè¡Œã£ã¦ã„ã¾ã™ãŒã€å®Ÿã¯ãã®åŒå¯¾ã€Coeffect システムã¨ã„ã†ã‚‚ã®ãŒã‚ã‚‹ã®ã‚’ã”å˜ã˜ã§ã—ょã†ã‹ã€‚ Effect ãŒé–¢æ•°ã®ãƒœãƒ‡ã‚£ã§ã®ä½œç”¨ã«ã¤ã„ã¦è¿°ã¹ã‚‹ã‚·ã‚¹ãƒ†ãƒ ã ã¨ã™ã‚Œã°ã€Coeffect ã¯å¯¾ç§°çš„ã«ã€å¼•æ•°ã®æ€§è³ªã«ã¤ã„ã¦è¿°ã¹ã‚‹ã‚·ã‚¹ãƒ†ãƒ ã§ã™ã€‚変数ã®ä½¿ç”¨å›žæ•°ã®ãƒˆãƒ©ãƒƒã‚ングã€ã‚»â€¦
ã€ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã¨ã¯ä¸€ä½“ãªã‚“ãªã®ã‹ï¼Ÿã€‘ãªãœç§ã¯Haskellã§ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã®ãƒ©ã‚¤ãƒ–ラリを作るã«è‡³ã£ãŸã‹
ã¯ã˜ã‚㫠本記事ã¯ã€ä»Šå›žç†è€…ãŒä½œæˆã—ãŸHaskellã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ライブラリã®èƒŒæ™¯ã‚’説明ã™ã‚‹ã‚‚ã®ã§ã™ã€‚Haskellã«è§¦ã‚ŒãŸã“ã¨ãŒãªã„èªè€…ã®ãŸã‚ã«ã€ç†è§£ã«å¿…è¦ãªäº‹æŸ„や文法ç‰ã¯è¨˜äº‹ä¸ã§ç°¡å˜ã«èª¬æ˜Žã—ã¾ã™ã€‚Haskellやライブラリ自体ã«èˆˆå‘³ãŒãªãã¨ã‚‚ã€ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã®ç´¹ä»‹ã ã‘ã§ã‚‚今後ã®å‚考ã«ã—ã¦ã„ãŸã ã‘ã‚Œã°å¹¸ã„ã§ã™ã€‚ エフェクトシステムエフェクトシステムã¨ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ‘ラダイムãŒä»¥å‰ã‚ˆã‚Šç ”究ã•ã‚Œã¦ã„ã¾ã—ãŸã€‚ ã“ã‚Œã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®ã‚³ãƒ¼ãƒ‰å†…ã§èµ·ã“ã‚Šã†ã‚‹å‰¯ä½œç”¨ã‚’分類ã€ã‚¿ã‚°ä»˜ã‘ã—ã€å®Ÿè¡Œæ™‚よりå‰ã«åˆ†ã‹ã‚‹ã‚ˆã†ã«ã™ã‚‹ã¨ã„ã†ã‚‚ã®ã§ã™ã€‚ã“ã“ã§ã¯ã€å‰¯ä½œç”¨ã‚’分類ã—ã¦åå‰ã‚’付ã‘ã¦åž‹ã¨ã—ã¦è¡¨ã—ãŸã‚‚ã®ã‚’エフェクト型ã¨å‘¼ã³ã€ã‚るコード片ãŒç™ºç”Ÿã•ã›ã†ã‚‹ã™ã¹ã¦ã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆåž‹ã®é›†åˆã‚’エフェクト集åˆã¨å‘¼ã¶ã“ã¨ã«ã—ã¾ã™ã€‚ 例ãˆã° 1+1 ã“ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆé›†åˆã¯ç©ºé›†åˆ{}ã§ã™ã€‚ãªãœãªã‚‰ã€ä¸€åˆ‡ã®å‰¯ä½œç”¨ï¼ˆå…¥å‡ºåŠ›
Algebraic Effectsã¨Extensible Effectsã®é•ã„ã£ã¦ãªã‚“ã‚„? 関係ã‚ã‚“ã®?
1. ã¯ã˜ã‚㫠最近ã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ 2大ホットトピックã¨ã„ãˆã°Algebraic Effectsã¨Extensible Effectsã ã‚ㆠ[è¦å‡ºå…¸]｡ 度々ã“ã®2ã¤ã®é•ã„ã¯ä½•ãªã®ã‹ã¨ã„ã†è³ªå•ã‚’見ã¾ã™ï½¡ 比較ã¨ã„ã†ã‚ã‘ã§ã‚‚ç„¡ã„ã‚“ã§ã™ãŒï½¤ä»Šå›žã¯ã“ã®2ã¤ã‚’並ã¹ã¦è¦‹æ¯”ã¹ã¦ã¿ã¾ã—ょã†ï½¡ ãã„ã†ãˆã°ã ã„ã¶å‰ã®ç™ºè¡¨ã§ã“ã‚“ãªã“ã¨è¨€ã£ã¦ã¾ã—ãŸã‘㩠本当ã‹ã—ら 2. Algebraic Effects and Handlers Plotkinã¨Powerã«ã‚ˆã‚Šã‚‚ãŸã‚‰ã•ã‚ŒãŸï½¤è¨ˆç®—エフェクトを代数的ã«è¡¨ç¾ã™ã‚‹ã¨ã„ã†è€ƒãˆæ–¹[1]ã«ï½¤Plotkinã¨PretnarãŒãƒãƒ³ãƒ‰ãƒ©ã‚’è¿½åŠ ã—ãŸã‚‚ã®[2]ã§ã‚る｡ 詳細ã¯ã‚«ãƒ„アイã—ã¾ã™ã‚“ã§ï½¤æœ¬ãƒ–ãƒã‚°ã‚’ã”巡回ãã ã•ã„｡ ç°¡å˜ã«ã¾ã¨ã‚ã‚‹ã¨ï½¤ æ–°ãŸãªè¨€èªžæ©Ÿèƒ½ エフェクト(仕様)ã¨ãƒãƒ³ãƒ‰ãƒ©(実装)ãŒåˆ†é›¢ã§ãるモジュラーãªæ‰‹æ³• エフェクトシステムã«ã‚ˆã£ã¦è¨ˆç®—ä¸ã«ã©ã®ã‚ˆã†ãªã‚¨ãƒ•ã‚§ã‚¯ãƒˆ
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
From Tagless-Final to Typed-Final: Program Transformations in the Final Style
我々å‘ã‘ã® Algebraic Effects 入門
{{#tags}}- {{label}}
{{/tags}}