monadã‹ã‚‰effect㸠- Just $ A sandbox追記 ã‚‚ã†å°‘ã—ã¾ã¨ã‚‚ãªeffect入門記事を書ãã¾ã—㟠myuon-myon.hatenablog.com ã“ã®æ–‡ç« ã¯ä»Šã‹ã‚‰5-10年後ã«ä¸‡ãŒä¸€effect systemãŒæµè¡Œã‚Šå§‹ã‚ã€ä»Šã®Haskellã®ã‚ˆã†ãªç«‹ã¡ä½ç½®ã«ãªã£ãŸå ´åˆã«å‚™ãˆã¦æ›¸ã„ã¦ã„ã¾ã™ã€‚ effect systemã«ã¤ã„㦠Haskellã¯ãƒ¢ãƒŠãƒ‰ã‚’用ã„ã¦ç´”粋・éžç´”粋を切り分ã‘ã‚‹ã“ã¨ãŒã§ãる言語ã§ã€computational effectを扱ã†ãŸã‚ã«å°Žå…¥ã•ã‚ŒãŸã‚‚ã®ã ã£ãŸã€‚ ã‹ã¤ã¦ã¯é–¢æ•° A -> B ã§ä¸€ç·’ããŸã«ã—ã¦ã„ãŸcomputationã¯ã€ A -> T B ã¨ã€æ–‡è„ˆ T ã‚’ã‚‚ã£ãŸé–¢æ•°ã¨ã—ã¦è¡¨ç¾ã§ãるよã†ã«ãªã£ãŸã€‚ã¨ã“ã‚ã§ã“ã®ã‚ˆã†ãªcomputational effectã¨ã—ã¦ã®ãƒ¢ãƒŠãƒ‰ã‚’言語機能ã«çµ„ã¿è¾¼ã‚€ã«ã¯2ã¤ã®æ–¹æ³•ãŒã‚ã£ã¦ã€ Meta Languageæ–¹å¼ (Haskell) Programming Language
{{#tags}}- {{label}}
{{/tags}}