10.4Â Continuations
10.4 Continuations🔗ℹContinuations in The Racket Guide introduces continuations. See Sub-expression Evaluation and Continuations and Prompts, Delimited Continuations, and Barriers for general information about continuations. Racket’s support for prompts and composable continuations [Flatt07] closely resembles Sitaram’s % and fcontrol operator [Sitaram93]. Racket installs a continuation barrier aro
Scheme:使ã„ãŸã„人ã®ãŸã‚ã®ç¶™ç¶šå…¥é–€
使ã„ãŸã„人ã®ãŸã‚ã®ç¶™ç¶šå…¥é–€ç¶™ç¶šæ¸¡ã—å½¢å¼call/ccã¯æ™®é€šã®é–¢æ•°call-with系関数call-with-procedurecall-with-continuation-procedurecall-with-current-continuationè©•ä¾¡é †åºã¨ç¶™ç¶šcall/ccパズルãŠæ‰‹å…ƒãƒžãƒ«ãƒã‚¹ãƒ¬ãƒƒãƒ‰éƒ¨åˆ†ç¶™ç¶šreset/pcã¨call/pcç’°å¢ƒç ´å£Šã¨éƒ¨åˆ†ç¶™ç¶šéƒ¨åˆ†ç¶™ç¶šã®ä½¿ç”¨æ³•PRINT-AND-NEXT-REPLè°è«–質å•ãŠæ‰‹å…ƒãƒžãƒ«ãƒã‚¹ãƒ¬ãƒƒãƒ‰ã®ã‚µãƒ³ãƒ—ルプãƒã‚°ãƒ©ãƒ ã«ã¤ã„㦠使ã„ãŸã„人ã®ãŸã‚ã®ç¶™ç¶šå…¥é–€ ã¨ã‚Šã‚ãˆãšæ®´ã‚Šæ›¸ã。 ãã©ã‹ã£ãŸã‚Šå†—é•·ãªæ–‡ç« ã«ãªã£ã¦ãŸã‚Šã€é‡è¤‡ã—ã¦ãŸã‚Šã€é–“é•ã£ã¦ãŸã‚Šã€ ãŠãŠã„ãªã‚‹å‹˜é•ã„ã‚’ã—ã¦ãŸã‚Šã€æ¥ã‚’ã‚«ã„ã¦ãŸã‚Šã™ã‚‹ã‹ã‚‚ã—ã‚Œãªã„ã‘ã©ã”愛敬。 è—ã‚’ã‚‚ã¤ã‹ã¿ãŸã„æ°—æŒã¡ã§ç¶™ç¶šã‚’使ãˆã‚‹ã‚ˆã†ã«ãªã‚ŠãŸã„人ã¯èªã‚“ã§ã¿ã¦ãã ã•ã„。 ãŸã ã—所詮ã¯è—ã§ã™ã€‚(ï½— 継続渡ã—å½¢å¼ ä¾‹ã«ã‚ˆã£ã¦éšŽä¹—fact
Haskell ã§ç¶™ç¶šæ¸¡ã—スタイル (CPS)
0. 目次 継続をç†è§£ã™ã‚‹ã«ã¯ã€Œç¶™ç¶šæ¸¡ã—スタイル(CPS)ã€ã‹ã‚‰ 足ã—ç®—ã€ã‹ã‘ç®—ã€å¼•ãç®— 階乗 木ã®è‘‰ã®æ•°ã‚’æ•°ãˆã‚‹ フィボナッãƒæ•° リストã®å¹³å¦ foldr (畳ã¿è¾¼ã¿é–¢æ•°) 1. 継続をç†è§£ã™ã‚‹ã«ã¯ã€Œç¶™ç¶šæ¸¡ã—スタイル(CPS)ã€ã‹ã‚‰ 「All About Monadsã€ã® Continuation モナド ãŒç†è§£ã§ããªã„。特㫠callCC 関数ã®å®šç¾©ã€‚ callCC f = Cont $ \k -> runCont (f (\a -> Cont $ \_ -> k a)) k ã†ãƒ¼ã‚“ã€ã‚ãšã‹ä¸€è¡Œãªã‚“ã ã‘ã‚Œã©â€¦ (+_+) callCC ã‚’å«ã‚ã€ç¶™ç¶šãƒ¢ãƒŠãƒ‰ã‚’ç†è§£ã™ã‚‹ãŸã‚ã®å‰æãŒæ¬¡ã®ã‚ˆã†ã«æ›¸ã‹ã‚Œã¦ã„る。 Continuation モナドを使ã†å‰ã«ç¶™ç¶šæ¸¡ã—スタイル(CPS)ã«ã¤ã„ã¦ç¢ºå®Ÿã«ç†è§£ã—ã¦ã„ã‚‹ã‹ï¼Œè‡ªèº«ã®è¨è¨ˆèª²é¡Œã«ã¤ã„ã¦ç¶™ç¶šãŒæœ€è‰¯ã®ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ãªã®ã‹ã‚’確èªã—ã¦ãã ã•ã„．他ã®è¨€èªžã§ã¯ç¶™ç¶š
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}