Extensible effects ã¯ãã¢ãããã©ã³ã¹ãã©ã¼ãã¼ã«ä»£ãããã®ã®ã²ã¨ã¤ã§ãä½ç¨ï¼ã¨ãã§ã¯ãï¼ã®ããè¨ç®ãé¢æ°çãªæ¹æ³ã§è¡ãããã®ãã®ã ããã®ã©ã¤ãã©ãªã¯ãOleg Kiselyov ã®è«æ Freer monads, more extensible effects ã§è¿°ã¹ãããã"free-er" ã¢ãã㨠"open union" ã®ã¨ãã§ã¯ãã«åºã¥ãã¦ããã 次ã®ç« ç«ã¦ã§è©³ããå¦ã¹ããeff ã«ã¤ãã¦ä½ãããåãã¦ãªããé çªã«èªãã§ãããã¨ãæ¨å¥¨ããã ã¤ã³ã¹ãã¼ã«ã¨ã¤ã³ãã¼ã åãã¦ã®ã¨ãã§ã¯ã eff ã«ãããä¸è¬çãªã¨ãã§ã¯ã: Reader, Writer, Eval, State,⦠ãã¥ã¼ããªã¢ã« èªåã®ã¨ãã§ã¯ããä½ã£ã¦ã¿ã ã¨ãã§ã¯ãã®ã¹ã¿ãã¯ã解éããå¦çãã ã¡ã³ãã¼ implicits ã使ã ã¢ããªã«ãã£ãè©ä¾¡ã使ã ãã³ãã¨ã³ã ã³ãã¥ããã£ã®
{{#tags}}- {{label}}
{{/tags}}