[B! effect] Windymeltã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

Windymelt id:Windymelt

effectã«é–¢ã™ã‚‹Windymeltã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

ã€ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã¨ã¯ä¸€ä½“ãªã‚“ãªã®ã‹ï¼Ÿã€‘ãªãœç§ã¯Haskellã§ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ä½œã‚‹ã«è‡³ã£ãŸã‹
ã¯ã˜ã‚ã« æœ¬è¨˜äº‹ã¯ã€ä»Šå›žç†è€…ãŒä½œæˆã—ãŸHaskellã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®èƒŒæ™¯ã‚’èª¬æ˜Žã™ã‚‹ã‚‚ã®ã§ã™ã€‚Haskellã«è§¦ã‚ŒãŸã“ã¨ãŒãªã„èªè€…ã®ãŸã‚ã«ã€ç†è§£ã«å¿…è¦ãªäº‹æŸ„ã‚„æ–‡æ³•ç‰ã¯è¨˜äº‹ä¸ã§ç°¡å˜ã«èª¬æ˜Žã—ã¾ã™ã€‚Haskellã‚„ãƒ©ã‚¤ãƒ–ãƒ©ãƒªè‡ªä½“ã«èˆˆå‘³ãŒãªãã¨ã‚‚ã€ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã®ç´¹ä»‹ã ã‘ã§ã‚‚ä»Šå¾Œã®å‚è€ƒã«ã—ã¦ã„ãŸã ã‘ã‚Œã°å¹¸ã„ã§ã™ã€‚ ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã¨ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ‘ãƒ©ãƒ€ã‚¤ãƒ ãŒä»¥å‰ã‚ˆã‚Šç ”ç©¶ã•ã‚Œã¦ã„ã¾ã—ãŸã€‚ ã“ã‚Œã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®ã‚³ãƒ¼ãƒ‰å†…ã§èµ·ã“ã‚Šã†ã‚‹å‰¯ä½œç”¨ã‚’åˆ†é¡žã€ã‚¿ã‚°ä»˜ã‘ã—ã€å®Ÿè¡Œæ™‚ã‚ˆã‚Šå‰ã«åˆ†ã‹ã‚‹ã‚ˆã†ã«ã™ã‚‹ã¨ã„ã†ã‚‚ã®ã§ã™ã€‚ã“ã“ã§ã¯ã€å‰¯ä½œç”¨ã‚’åˆ†é¡žã—ã¦åå‰ã‚’ä»˜ã‘ã¦åž‹ã¨ã—ã¦è¡¨ã—ãŸã‚‚ã®ã‚’ã‚¨ãƒ•ã‚§ã‚¯ãƒˆåž‹ã¨å‘¼ã³ã€ã‚ã‚‹ã‚³ãƒ¼ãƒ‰ç‰‡ãŒç™ºç”Ÿã•ã›ã†ã‚‹ã™ã¹ã¦ã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆåž‹ã®é›†åˆã‚’ã‚¨ãƒ•ã‚§ã‚¯ãƒˆé›†åˆã¨å‘¼ã¶ã“ã¨ã«ã—ã¾ã™ã€‚ ä¾‹ãˆã° 1+1 ã“ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆé›†åˆã¯ç©ºé›†åˆ{}ã§ã™ã€‚ãªãœãªã‚‰ã€ä¸€åˆ‡ã®å‰¯ä½œç”¨ï¼ˆå…¥å‡ºåŠ›
Windymelt 2024/09/03
ã€Œã‚¨ãƒ•ã‚§ã‚¯ãƒˆã£ã¦ãªã‚“ã‚„ãã‚“ã€ã¨ã„ã†ç–‘å•ã¸ã®èª¬æ˜Žã¨ã—ã¦ã‚ã¡ã‚ƒãã¡ã‚ƒã‚ˆãã§ãã¦ã‚‹è¨˜äº‹ã ããƒ»ãƒ»ãƒ»ãƒ»ãƒ»ãƒ»

tech-æŠ€è¡“

åž‹

haskell

effect
ãƒªãƒ³ã‚¯
From Tagless-Final to Typed-Final: Program Transformations in the Final Style
From Tagless-Final to Typed-Final: Program Transf ormations in the FinalÂ Style
Windymelt 2023/11/04
scala

effect

taglessfinal

tech-æŠ€è¡“

åž‹
ãƒªãƒ³ã‚¯
æˆ‘ã€…å‘ã‘ã® Algebraic Effects å…¥é–€
Windymelt 2023/11/03
tech-æŠ€è¡“

åž‹

effect
ãƒªãƒ³ã‚¯
Algebraic Effectsã¨Extensible Effectsã®é•ã„ã£ã¦ãªã‚“ã‚„? é–¢ä¿‚ã‚ã‚“ã®?
1. ã¯ã˜ã‚ã« æœ€è¿‘ã®ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ 2å¤§ãƒ›ãƒƒãƒˆãƒˆãƒ”ãƒƒã‚¯ã¨ã„ãˆã°Algebraic Effectsã¨Extensible Effectsã ã‚ã† [è¦å‡ºå…¸]ï½¡ åº¦ã€…ã“ã®2ã¤ã®é•ã„ã¯ä½•ãªã®ã‹ã¨ã„ã†è³ªå•ã‚’è¦‹ã¾ã™ï½¡ æ¯”è¼ƒã¨ã„ã†ã‚ã‘ã§ã‚‚ç„¡ã„ã‚“ã§ã™ãŒï½¤ä»Šå›žã¯ã“ã®2ã¤ã‚’ä¸¦ã¹ã¦è¦‹æ¯”ã¹ã¦ã¿ã¾ã—ã‚‡ã†ï½¡ ãã„ã†ãˆã°ã ã„ã¶å‰ã®ç™ºè¡¨ã§ã“ã‚“ãªã“ã¨è¨€ã£ã¦ã¾ã—ãŸã‘ã© æœ¬å½“ã‹ã—ã‚‰ 2. Algebraic Effects and Handlers Plotkinã¨Powerã«ã‚ˆã‚Šã‚‚ãŸã‚‰ã•ã‚ŒãŸï½¤è¨ˆç®—ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚’ä»£æ•°çš„ã«è¡¨ç¾ã™ã‚‹ã¨ã„ã†è€ƒãˆæ–¹[1]ã«ï½¤Plotkinã¨PretnarãŒãƒãƒ³ãƒ‰ãƒ©ã‚’è¿½åŠ ã—ãŸã‚‚ã®[2]ã§ã‚ã‚‹ï½¡ è©³ç´°ã¯ã‚«ãƒ„ã‚¢ã‚¤ã—ã¾ã™ã‚“ã§ï½¤æœ¬ãƒ–ãƒã‚°ã‚’ã”å·¡å›žãã ã•ã„ï½¡ ç°¡å˜ã«ã¾ã¨ã‚ã‚‹ã¨ï½¤ æ–°ãŸãªè¨€èªžæ©Ÿèƒ½ ã‚¨ãƒ•ã‚§ã‚¯ãƒˆ(ä»•æ§˜)ã¨ãƒãƒ³ãƒ‰ãƒ©(å®Ÿè£…)ãŒåˆ†é›¢ã§ãã‚‹ãƒ¢ã‚¸ãƒ¥ãƒ©ãƒ¼ãªæ‰‹æ³• ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã«ã‚ˆã£ã¦è¨ˆç®—ä¸ã«ã©ã®ã‚ˆã†ãªã‚¨ãƒ•ã‚§ã‚¯ãƒˆ
Windymelt 2023/06/13
åž‹

tech-æŠ€è¡“

scala

effect
ãƒªãƒ³ã‚¯
1