Yコンビãƒãƒ¼ã‚¿ï¼ˆä¸å‹•ç‚¹æ¼”ç®—å）ã®å°Žå‡ºæ³• - sumiiã®ãƒ–ãƒã‚°MinCamlã®ãƒšãƒ¼ã‚¸ã‹ã‚‰ãƒªãƒ³ã‚¯ã•ã‚Œã¦ã„ã‚‹ã®ã«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®è©±é¡ŒãŒï¼ˆã‚ã¾ã‚Šï¼‰ãªã„ã®ã¯ã‚¤ãƒžã‚¤ãƒãªã®ã§ã€çªç™ºãƒ—ãƒãƒ»ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«é–‹å§‹ã€‚ 純粋ãªÎ»è¨ˆç®—ã§å†å¸°é–¢æ•°ã‚’表ã™ã®ã«ä½¿ã† λf.(λg.f(g g)) (λg.f(g g)) ã¨ã„ã†Î»å¼ãŒã‚ã‚Šã¾ã™ï¼ˆã“ã‚Œã ã¨åž‹ãŒã‚ã£ãŸã‚Šcall-by-valueãªè¨€èªžã¯é§„ç›®ã§ã™ãŒã€ã¨ã‚Šã‚ãˆãšåž‹ãªã—＆call-by-nameã¨ã—ã¦ï¼‰ã€‚ã©ã“ã‹ã‚‰ã“ã‚“ãªå¼ãŒå‡ºã¦ãã‚‹ã®ã‹ã€æ¥ãšã‹ã—ãªãŒã‚‰ã€ã¤ã„ã“ã®é–“ã¾ã§å°Žã方を知らãªã‹ã£ãŸã®ã§ã™ãŒã€ãµã¨ã—ãŸã“ã¨ã‹ã‚‰æ°—ã¥ã„ãŸã®ã§æ›¸ã„ã¦ãŠãã¾ã™ã€‚ let rec g = F(g) in g ã¨ã„ã†å†å¸°é–¢æ•°ãŒã‚ã£ãŸã¨ã—ã¾ã™ã€‚ãŸã ã—ã€F(g)ã¨ã„ã†ã®ã¯gãŒå«ã¾ã‚Œã‚‹ä½•ã‚‰ã‹ã®å¼ã§ã™ã€‚ã“れを let g = (gã‚’å«ã¾ãªã„å¼) in g ã®ã‚ˆã†ã«ã€gã®å®šç¾©ã®å³è¾ºã«g自身ãŒå‡ºç¾ã—ãªã„å½¢ã§æ›¸ããŸã„ã‚ã‘ã§ã™ã€‚ã‚‚ã¡ã‚ã‚“ã€ç´ 朴㫠let g = F(g)
{{#tags}}- {{label}}
{{/tags}}