[B! lisp][continuation] jjzakã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

jjzak id:jjzak

lispã¨continuationã«é–¢ã™ã‚‹jjzakã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (9)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

åƒ•ã§ã‚‚ã‚ã‹ã‚‹ç¶™ç¶šã¨éƒ¨åˆ†ç¶™ç¶š - ã¾ã‚ã‚ã‚‚
callcc ã¨ shift/reset ã«ã¤ã„ã¦ã‚ã‹ã‚‹ã¨ã“ã ã‘æ›¸ã„ã¦ã¿ã¾ã™ã€‚ ç¶™ç¶š callcc ã¨ã„ã†æ“ä½œã¯ã€ç¾åœ¨ã‹ã‚‰å®Ÿè¡Œçµ‚äº†ã¾ã§ã€ç¶™ç¶šã‚’ã¾ã‚‹ã”ã¨å–ã‚Šå‡ºã—ã¾ã™ã€‚ä¾‹é¡Œã€‚ p [1] + callcc {|k| [2] + k.call([3]) } #=> [1, 3] callcc ã§ã¯ callcc ãŒãƒªã‚¿ãƒ¼ãƒ³ã—ã¦ã‹ã‚‰å®Ÿè¡Œçµ‚äº†ã™ã‚‹ã¾ã§ã®ç¶™ç¶š k ãŒå–ã‚Šå‡ºã›ã¾ã™ã€‚k.call([3]) ã§ç¶™ç¶šãŒå‘¼ã°ã‚Œã‚‹ã¨ã€ã„ããªã‚Šã€Œcallcc ãŒ [3] ã‚’è¿”ã—ãŸçž¬é–“ã€ã«å®Ÿè¡ŒãŒé£›ã³ã¾ã™ã€‚ã¤ã¾ã‚Šã“ã‚“ãªæ„Ÿã˜ã€‚ p [1] + [3] ã‚ã¨ã¯è‡ªæ˜Žã§ã™ãã€‚"[2] +" ã®ã‚ãŸã‚Šã¯ç„¡è¦–ã•ã‚Œã¾ã™ã€‚ éƒ¨åˆ†ç¶™ç¶š shift ã¨ã„ã†æ“ä½œã¯ã€ç¾åœ¨ã‹ã‚‰ reset ã¾ã§ã€ç¶™ç¶šã®ä¸€éƒ¨ã ã‘ã‚’å–ã‚Šå‡ºã—ã¾ã™ã€‚ã“ã®ç¶™ç¶šã®ä¸€éƒ¨ã‚’éƒ¨åˆ†ç¶™ç¶šã¨ã„ã„ã¾ã™ã€‚ä¾‹é¡Œã€‚ p [1] + reset { [2] + shift {|k| [3] +
jjzak 2011/02/20
continuation

ruby

lisp

scheme
ãƒªãƒ³ã‚¯
Tumblr
jjzak 2010/08/24
continuation

programming

scheme

lisp
ãƒªãƒ³ã‚¯
Tumblr
Tumblr is a place to express yourself, discover yourself, and bond over the stuff you love. It's where your interests connect you with your people.
jjzak 2010/08/24
scheme

lisp

programming

functional

continuation
ãƒªãƒ³ã‚¯
call/cc å…¥é–€ (Coroutine with call/cc) - MAYAH
call/cc ã‚’ä½¿ã£ã¦ç°¡å˜ãª Coroutine ã‚’ä½œã‚Šã¾ã™ã€‚call/cc å…¥é–€ã ã¨æ€ã£ã¦ã‚‚ã‚‰ãˆã‚Œã°å¹¸ã„ã§ã™ã€‚ coroutine ã¨ã¯ ã“ã“ã§ã¯ coroutine ã‚’ã€Œå®Ÿè¡Œã®é€”ä¸ã§ãƒªã‚¿ãƒ¼ãƒ³ã§ãã€ã•ã‚‰ã«ãã“(å®Ÿè¡Œã®é€”ä¸)ã‹ã‚‰å†é–‹ã™ã‚‹ã“ã¨ãŒå‡ºæ¥ã‚‹ä½•ã‹ã€ã®æ„å‘³ã§ä½¿ç”¨ã—ã¾ã™ã€‚é©å½“ãªç–‘ä¼¼è¨€èªžã§æ›¸ãã¨æ¬¡ã®é€šã‚Šã€‚é–¢æ•°ã®é€”ä¸ã§ã®ãƒªã‚¿ãƒ¼ãƒ³ã‚’ suspend(), é€”ä¸ã‹ã‚‰ã®å†é–‹ã‚’ resume() ã§è¡¨ã™ã“ã¨ã«ã—ã¾ã™ã€‚ ã“ã“ã§ã¯ã€ã“ã‚Œã‚’ scheme ã® call/cc ã‚’ç”¨ã„ã¦è¡¨ã™ã“ã¨ã‚’ç›®æŒ‡ã—ã¾ã™ã€‚ call/cc ã¨ã¯ call/cc ã¨ã¯ã€call-with-current-continuation ã¨ã„ã† scheme ã®é–¢æ•°ã§ã€ã€Œç¾åœ¨ã®ç¶™ç¶š(current continuation)ã‚’ç”Ÿæˆã—ã€ãã‚Œã‚’é–¢æ•°ã«æ¸¡ã—ã¦ãã®é–¢æ•°ã‚’å®Ÿè¡Œã™ã‚‹ã€ã‚‚ã®ã§ã™ã€‚èªè€…ã®æ®†ã©ã¯ã€Œç¶™ç¶šã€ã«ã¤ã„ã¦ã‚ˆãçŸ¥ã£ã¦ã„ã‚‹ã‹ã‚‚ã—ã‚Œ
jjzak 2008/09/13
scheme

lisp

gauche

continuation
ãƒªãƒ³ã‚¯
Weblocks - A Continuations-Based Common Lisp Web Framework
This page contains basic and probably outdated information about Weblocks. For more details please visit the new web page. You can also check out our demo application to get a first impression. What is Weblocks? Weblocks is a continuations-based web framework written in Common Lisp. Why another web framework? Weblocks uses powerful Lisp features like multiple dispatch, metaobject protocol, lexical
jjzak 2008/06/15
ajax

common-lisp

continuation

development

framework

lisp

web

programming
ãƒªãƒ³ã‚¯
Lua/çµ„ã¿è¾¼ã¿ - assari
Captcha security check mokehehe.com is for sale Please prove you're not a robot View Price Processing
jjzak 2008/05/09
continuation

haskell

lisp

scheme
ãƒªãƒ³ã‚¯
ç¶™ç¶š
ç¶™ç¶šã€continuationã¨æ¥ã‚Œã°ã‚„ã¯ã‚ŠSchemeã®è©±ã«ãªã‚‹ã®ã ã‚ã†ã‹ã€‚ä¸€èˆ¬ç¤¾ä¼šã§ schemeã¨è¨€ãˆã°ã€Œã™ããƒ¼ã‚€ï¼ˆnï¼‰è¨ˆç”»ã€‚é™°è¬€ã€‚ã€ã§ã‚ã‚‹ãŒã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢æ¥ç•Œã§ Schemeã¨è¨€ã£ãŸã‚‰Lispã®ä¸€ç¨®ã®ã“ã¨ã ã€‚Lispã«ã¯å¤‰ç¨®ãŒè…ã‚‹ã»ã©å˜åœ¨ã™ã‚‹ãŒã€ Common Lispã¨ä¸¦ã‚“ã§æœ‰åãªã®ãŒSchemeã§ã‚ã‚‹ã€‚Common LispãŒæ¨™æº–åŒ–ã®èª²ç¨‹ã§ã‚´ãƒ† ã‚´ãƒ†ã¨è£…å‚™ã—ã¦å·¨å¤§åŒ–ã—ãŸã®ã«å¯¾ã—ã€Schemeã¯é¥ã‹ã«ã‚³ãƒ³ãƒ‘ã‚¯ãƒˆã§ã‚¯ãƒªã‚¢ãªä»• æ§˜ã‚’æŒã¤ã€‚ã¾ãŸSchemeã¨ã¯è¨€èªžã®ä¸€èˆ¬åã§ã‚ã‚Šã€ãã®å®Ÿè£…ã«ã¯Gaucheã¨ã‹ scmã¨ã‹guileã¨ã‹MIT Schemeãªã©ãŒã‚ã‚‹ã€‚ ã•ã¦Call/CCã€æ£å¼åç§°Call with Current Continuationã€ã«ã¤ã„ã¦ èª¬æ˜Žã—ã‚ˆã†ã€‚Call/CCã¯ã¡ã‚‡ã£ã¨è¦‹ã¯setjmp/longjmpã¨åŒã˜ã‚ˆã†ã«è¦‹ãˆã‚‹ã®ã ãŒã€ ã‚¹ã‚¿ãƒƒã‚¯ãŒæ·±ããªã‚‹æ–¹å‘ã«ã‚‚ã‚¸ãƒ£
jjzak 2007/06/29
continuation

lisp

programming

ruby

scheme
ãƒªãƒ³ã‚¯
ç¶šãƒ»ç¶™ç¶š - ãƒ’ãƒ“ãƒŽã‚ãƒã‚¯
æ˜¨æ—¥ã®æ™‚ç‚¹ã§ã¯ã¾ã ãƒã‚°ãŒã‚ã£ãŸãŒã€ãã®ãƒã‚°ã‚‚ç›´ã£ãŸã€‚ãŸã¶ã‚“ã“ã‚Œã§å®Œæˆã—ãŸã¨æ€ã†ã€‚æœ€çµ‚çš„ã«ã¯ã‚¹ã‚¿ãƒƒã‚¯ã§ã™ã‚‰ãªãã€å˜ã«ç¾åœ¨ã®ç¶™ç¶šã‚’è¦šãˆã¦ãŠãã ã‘ã§è‰¯ããªã£ãŸã€‚ã“ã‚Œã¯ç¶™ç¶šè‡ªèº«ã«æ¬¡ã«å‡¦ç†ã‚’æ¸¡ã™ã¹ãç¶™ç¶šã®å‚ç…§ã‚’æŒãŸã›ã‚‹ã“ã¨ã«ã—ãŸãŸã‚ã§ã€ã“ã†ã—ãªã„ã¨ç¶™ç¶šã‚’å†åˆ©ç”¨ã—ãŸæ™‚ã«å•é¡ŒãŒå‡ºã‚‹ã€‚ æ˜¨æ—¥ã¯çµæžœã—ã‹æ›¸ã‹ãªã‹ã£ãŸã®ã§ã€ç¶™ç¶šã«ã¤ã„ã¦å°‘ã—è§£èª¬ã‚’ã€‚ > (+ (call/cc (lambda (x) (x 1) 2)) 3) ==> 4ã“ã®ä¾‹ã§ã¯ã€xã«call/ccã®å¤–å´ã¸ã®ç¶™ç¶šãŒæŸç¸›ã•ã‚Œã¦ã„ã‚‹ã®ã§ã€xã‚’å‘¼ã¶ã¨(call/cc ...)å…¨ä½“ãŒãã®å¼•æ•°ã¨ç½®ãæ›ã‚ã‚Šã€å…¨ä½“ã¨ã—ã¦ã¯(+ 1 3)ã‚’è¨ˆç®—ã™ã‚‹ã“ã¨ã«ãªã‚‹ã€‚ã„ã‚ã‚†ã‚‹å¤§åŸŸè„±å‡ºã®ä¾‹ã€‚ åˆ¥ã®ä¾‹ï¼š (define cont #f) ==> #f (+ (call/cc (lambda (x) (set! cont x) 1)) 2) ==> 3 (cont 5) =
jjzak 2007/04/15
scheme

functional

lisp

programming

continuation
ãƒªãƒ³ã‚¯
ç¶™ç¶š(Continuation) - ãƒ’ãƒ“ãƒŽã‚ãƒã‚¯
ãªã‚“ã‹ã‚´ãƒ‹ãƒ§ã‚´ãƒ‹ãƒ§ã‚„ã£ã¦ã‚‹ã†ã¡ã«å‡ºæ¥ãŸã¿ãŸã„ã€‚ > (+ (call/cc (lambda (x) (x 1) 2)) 3) ==> 4 ä»¥ä¸‹ã®ãƒšãƒ¼ã‚¸ãªã©ã‚‚å‚è€ƒã«ã—ã¤ã¤ã€ç¶™ç¶šã‚¹ã‚¿ãƒƒã‚¯ã‚’è‡ªå‰ã§ç®¡ç†ã™ã‚‹ã“ã¨ã§å®Ÿç¾ã—ãŸã€‚ç¶™ç¶šã«å¯¾å¿œã•ã›ã‚‹ãŸã‚ã«ã€ãƒ—ãƒªãƒŸãƒ†ã‚£ãƒ–é–¢æ•°ã®å®Ÿè£…ãŒã¨ã¦ã‚‚åŠ›æ¥ã«ãªã£ã¦ã—ã¾ã£ãŸã€‚ Schemeã‚’ä½œã‚ã† ç¬¬3å›ž http://www.jah.ne.jp/~naoyuki/Writings/VScheme3.html ãã‚Œã¨ã€ãƒ¬ã‚ã‚·ã‚«ãƒ«ã‚¹ã‚³ãƒ¼ãƒ—ã¯æ„å¤–ã«ç°¡å˜ã«å®Ÿè£…ã§ããŸã€‚è¦ã™ã‚‹ã«ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆã®å€¤ã‚’æ±‚ã‚ã‚‹æ™‚ã«ã€è©•ä¾¡ã™ã‚‹ã¨ãã®ç’°å¢ƒã˜ã‚ƒãªãã¦å®šç¾©ã—ãŸæ™‚ã®ç’°å¢ƒã‚’ä½¿ãˆã°ã„ã„ã€‚å®šç¾©ã™ã‚‹å ´æ‰€ã¨è©•ä¾¡ã™ã‚‹å ´æ‰€ãŒç•°ãªã‚‹ã®ã¯é–¢æ•°ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆ(==lambdaå¼)ã®ä¸ã ã‘ã ã‹ã‚‰ã€çµå±€ã¯é–¢æ•°ã«å®šç¾©ã—ãŸæ™‚ã®ç’°å¢ƒã‚’æŒãŸã›ã¦ãŠãã ã‘ã§ã‚ˆãã¦ã€ã‚ãšã‹æ•°è¡Œã®æ›¸ãæ›ãˆã§å®Ÿç¾ã§ãã¦ã—ã¾ã£ãŸã€‚ ç¶™ç¶šã«å¯¾å¿œã™ã‚‹ã‚³ãƒ¼ãƒ‰ã®ä¾‹ å‚è€ƒã¾
jjzak 2007/04/15
lisp

programming

java

continuation
ãƒªãƒ³ã‚¯
1