Perlã«ã‚ˆã‚‹Freeモナドã®å®Ÿè£… - Pixel Pedals of Tomakomaiæ‚Ÿã‚Šã‚’é–‹ã‘ã‚‹ã¨è©±é¡Œã®FreeモナドをPerlã§å®Ÿè£…ã—ãŸã€‚実装ã¯ã“ã¡ã‚‰ã€‚ Freeモナドã¨ã¯ï¼Ÿ モナドã®æ€§è³ªã®1ã¤ã¨ã—ã¦ã€flatten : TTX → TX (ã¾ãŸã¯ joinã€ã¾ãŸã¯Î·)ã«ã‚ˆã£ã¦é‡è¤‡ã™ã‚‹é–¢æ‰‹Tã‚’1ã¤ã«æŠ¼ã—ã¤ã¶ã›ã‚‹ã¨ã„ã†ç‚¹ãŒã‚る。ãã®ãŠé™°ã§ã€TTTTTTXã®ã‚ˆã†ã«TãŒè¤‡æ•°ã‚ã‚‹åž‹ã¯è€ƒãˆã‚‹å¿…è¦ãŒãªãã€Xã¨TXã¨ã„ã†2ã¤ã®åž‹ã«é™å®šã—ã¦è¨ˆç®—を考ãˆã‚‹ã“ã¨ãŒã§ãる。ãŒã€ãƒ¢ãƒŠãƒ‰ã§ã¯ãªã„一般ã®é–¢æ‰‹Fã§ã¯ã“ã®æ“作ãŒã§ããªã„。 ã˜ã‚ƒã‚ã“ã®æ“作を普通ã®é–¢æ‰‹ã§ã‚‚ã§ãるよã†ã«ã—ã¦ã‚„ã‚ã†ã¨ã„ã†ã“ã¨ã‚’考ãˆã‚‹ã¨è‡ªç„¶ã¨FreeモナドãŒæ§‹æˆã§ãる。直和ãŒå®šç¾©ã§ãã‚‹åœã§ã‚ã‚Œã°ã€è‡ªç”±ãƒ¢ãƒŽã‚¤ãƒ‰ã‚’作るã®ã¨åŒã˜è¦é ˜ã§ãƒ¢ãƒŠãƒ‰ã‚’作れã°ã‚ˆã„。具体的ã«ã¯ã€é–¢æ‰‹ã‚’é©ç”¨ã—ãªã„åž‹ã€1回é©ç”¨ã—ãŸåž‹ã€2回é©ç”¨ã—ãŸåž‹ã€ãƒ»ãƒ»ãƒ»*1ã®ã™ã¹ã¦ã®ç›´å’Œã‚’ã¨ã‚‹ã€‚ã¤ã¾ã‚Šã€TX = X + FX + FFX + FFFX + ... ã®ã‚ˆã†ãªé–¢æ‰‹ã‚’作るã“
ç§ã¯ã“ã†ã—ã¦é€€è·ã‚’å¼·è¦ã•ã‚ŒãŸ/ＮＥＣリストラ　é¢è«‡ä¸€å•ä¸€ç”メモ
{{#tags}}- {{label}}
{{/tags}}