evaluatorã®å†å¸°å®Ÿè£…→CPS化→Continuationã®de-functionalize→ループ化 - ラシウラプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ã‚¤ãƒ³ã‚¿ãƒ—リタを実装ã™ã‚‹ã¨ãã€æ§‹æ–‡æœ¨ã«ã‚ã‚ã›ã¦å†å¸°ã§æ›¸ãã»ã†ãŒåŸºæœ¬çš„ã«æ¥½ã 。ã—ã‹ã—ã€å¤šãã®å®Ÿè£…ã§å†å¸°å‘¼ã³å‡ºã—ã¯å›žæ•°ã«åˆ¶é™ãŒã‚ã£ãŸã‚Šå‡¦ç†ãŒé…ã‹ã£ãŸã‚Šã™ã‚‹ã€‚ãã“ã§ã€å†å¸°å‘¼ã³å‡ºã—åž‹ã®evalをループã§è¨˜è¿°ã™ã‚‹å‹•æ©ŸãŒã§ãる。ãŸã ã€ã„ããªã‚Šãƒ«ãƒ¼ãƒ—ã§æ›¸ã“ã†ã¨ã™ã‚‹ã¨ã€ã‚¤ãƒ³ã‚¿ãƒ—リタコードãŒã‚ã‘ã‚ã‹ã‚‰ãªããªã‚‹ã—ã€ãƒã‚°ã‚‚入りやã™ã„。 ãã“ã§ãƒ«ãƒ¼ãƒ—を作る戦略ã¨ã—ã¦ã€ å†å¸°å‘¼ã³å‡ºã—ã§å®Ÿè£… å†å¸°å‘¼ã³å‡ºã—ã®Continuation Passing Style(CPS)化 CPSå½¢å¼ã¯æœ«å°¾å‘¼ã³å‡ºã—å½¢å¼ã§ã‚‚ã‚ã‚‹ Continuationã®de-functionalizeã€ã¤ã¾ã‚ŠContinuationã®é–¢æ•°è¡¨ç¾ã‚’データオブジェクトã§ã‚らã‚㙠クãƒãƒ¼ã‚¸ãƒ£ã‚’明示的ãªãƒ‡ãƒ¼ã‚¿ã‚ªãƒ–ジェクトã«ã™ã‚‹ 末尾呼ã³å‡ºã—関数ã®ãƒ«ãƒ¼ãƒ—化 ã“ã†ã™ã‚Œã°ã€ãƒ«ãƒ¼ãƒ—å½¢å¼ã‚¤ãƒ³ã‚¿ãƒ—ãƒªã‚¿ã‚‚ç´ ç›´ã«å¯¾å¿œä»˜ã‘ãŒã§ãる。クãƒãƒ¼ã‚¸ãƒ£ã‚‚使ã‚ãªã„ã®ã§ã€Ja
Prolog Meta programming
ã²ã’ã½ã‚“ OSã¨ã‹ä½œã£ã¡ã‚ƒã†ã‹Mona- - 末尾å†å¸°
{{#tags}}- {{label}}
{{/tags}}