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

tarao id:tarao

continuationã«é–¢ã™ã‚‹taraoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (6)

${{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}}

ã€ŒJavaScriptã§ã®éžåŒæœŸé–¢æ•°åˆæˆã€ã‚’ç¶™ç¶šãƒ¢ãƒŠãƒ‰ã§ - terazzoã®æ—¥è¨˜
ãŠé¡Œ: è¤‡æ•°å€‹ã®é–¢æ•°ãŒã‚ã£ã¦ã€é–¢æ•°ã‚’å‘¼ã³å‡ºã—ãŸçµæžœã‚’ä½¿ã£ã¦é–¢æ•°ã‚’å‘¼ã³å‡ºã—ã¦â€¦ã£ã¦ã„ã†ã®ã‚’1å€‹ã®é–¢æ•°ã«ã—ã¾ã™ã€‚ JavaScriptã§ã®éžåŒæœŸé–¢æ•°åˆæˆ - monjudohâ€™s diary é–¢æ•°ã®å½¢ã‚’è¦‹ã¦ã¿ã¾ã™ã€‚ // 1ã‚’è¶³ã™ function add1(callback,arg){ callback(arg+1); } ã‚³ãƒ¼ãƒ«ãƒãƒƒã‚¯é–¢æ•°ã‚’æ¸¡ã—ã¦ã€æˆ»ã‚Šå€¤ã§ã¯ãªãã‚³ãƒ¼ãƒ«ãƒãƒƒã‚¯é–¢æ•°ã‚’å‘¼ã³å‡ºã—ã¦ã‚‚ã‚‰ã†äº‹ã§çµæžœã‚’å–å¾—ã™ã‚‹â€¦â€¦ã“ã‚Œã£ã¦ã€ŒCPS(ç¶™ç¶šæ¸¡ã—å½¢å¼)ã€ï¼CPSãªã‚‰åˆ†ã‹ã‚‹ã‚ï¼(æœ¬å½“ã‹ï¼Ÿ) å‚è€ƒã«ã—ãŸã‚µã‚¤ãƒˆ: http://www.h4.dion.ne.jp/~unkai/js/js12.html http://practical-scheme.net/docs/cont-j.html JSDeferredã§è€ƒãˆã‚‹ãƒ¢ãƒŠãƒ‰ - JavaScriptã§éŠã¶ã‚ˆ - g:javascript Haske
tarao 2012/07/29
javascript

monad

continuation
ãƒªãƒ³ã‚¯
Scheme:call/ccã¨å‰¯ä½œç”¨
c.l.sã§èˆˆå‘³æ·±ã„è°è«–ãŒé€²è¡Œã—ã¦ã„ãŸã®ã§ãƒ¡ãƒ¢ã€‚ purely functional Lisp + call/cc = ? ç™ºç«¯ã¯ã€Nils M Holmã® ã€ŒPurely functionalãªãƒžã‚¤Lispã«call/ccã‚’ã¤ã‘ã¦ã¿ãŸã‚ˆã€ ã¨ã„ã†æŠ•ç¨¿ã€‚ ãã‚Œã«å¯¾ã—ã€Schemeã®å¤§å¾¡æ‰€é”ã‹ã‚‰ ã€Œcall/ccã¯ã€å‰¯ä½œç”¨ã‚’ç”Ÿã˜ã‚‹ã‚ˆã€ ã¨çªã£è¾¼ã¿ãŒå…¥ã‚‹ã€‚ è¨€ã„æ›¿ãˆã‚Œã°ã€ã€Œset!ãªã©ã®æ˜Žç¤ºçš„ãªå‰¯ä½œç”¨ã‚ªãƒšãƒ¬ãƒ¼ã‚¿ã‚’ä¸€åˆ‡æŒãŸãªã„ purely functionalãªLispã«ã€call/ccã‚’å°Žå…¥ã™ã‚‹ã¨ã€ãã‚Œã¯ã‚‚ã¯ã‚„ purely functionalã§ã¯ãªããªã‚‹ã€ã¨ã„ã†ã“ã¨ã€‚ å®Ÿä¾‹ ã“ã‚Œã¯ç°¡å˜ãªä¾‹ã«ã‚ˆã£ã¦ç¤ºã™ã“ã¨ãŒã§ãã‚‹ã€‚szgygã«ã‚ˆã‚‹ä¾‹ï¼š (let ((f (lambda (x) (call/cc (lambda (k) k))))) (cons (f 0) (f 0))) (f 0)ã®2å›ž
tarao 2012/03/14
continuation
ãƒªãƒ³ã‚¯
åƒ•ã§ã‚‚ã‚ã‹ã‚‹ç¶™ç¶šã¨éƒ¨åˆ†ç¶™ç¶š - ã¾ã‚ã‚ã‚‚
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] +
tarao 2010/09/02
shift/reset

continuation
ãƒªãƒ³ã‚¯
OCaml code by MoCo - 26 lines - codepad
type t = | Var of int (* variable *) | App of t * t (* application *) | Abs of t (* abstraction *) | Sft of t (* shift *) | Rst of t (* reset *) type value_t = | VInt of int | VFun of (env_t -> cont_t -> value_t) * env_t | VCont of cont_t and cont_t = value_t -> value_t and env_t = value_t list let rec eval t env cont = match t with | Var n -> cont (List.nth env n) | App (t1, t2) -> eval t2 env (f
tarao 2010/06/27
shift/reset

ocaml

continuation
ãƒªãƒ³ã‚¯
Introduction to Delimited Continuations [4mm] Typing Printf [4mm] Â¡ÃŠÂ·Ã‘Ã‚Â³Â¤Ã²Â»ÃˆÂ¤ÃƒÂ¤Â¿ Printf Â¤ÃŽÂ·Â¿Ã‰Ã•Â¤Â±Â¡Ã‹
Introduction to Delimited Continuations Typing Printf Printf Kenichi Asai Ochanomizu University April 13, 2008 Outline of the talk â—® times (introduction) (1) in Direct Style with exception (2) in Continuation-Passing Style (CPS) â—® sprintf (3) in Continuation-Passing Style (CPS) (4) in Direct Style with shift/reset â—® Related Work / Summary (1) Times: Direct Style Multiply elements of a given list:
tarao 2010/05/17
continuation
ãƒªãƒ³ã‚¯
æ€è€ƒå®Ÿé¨“: returnã‚’é–¢æ•°ã¨æ€ã£ã¦ã¿ã‚‹è©± - d.y.d.
21:07 09/03/26 zipWithN twitterã§ã„ã‘ãŒã¿ã•ã‚“ãŒå¼µã£ã¦ã‚‰ã—ãŸè«–æ–‡ãŒé¢ç™½ã‹ã£ãŸã§ã™ã€‚ map f [a1, a2, ..., an] ==> [f a1, ..., f an] zipWith f [a1, ..., an] [b1, ..., bn] ==> [f a1 b1, ..., f an bn] zipWith3 f [a1, ..., an] [b1, ..., bn] [c1, ..., cn] ==> [f a1 b1 c1, ..., f an bn cn] ... zipWith7 f [a1, ..., an] [b1, ..., bn] ... [g1, ..., gn] ==> [f a1 b1 â€¦ g1, ..., f an bn â€¦ gn] Haskell98 ã®æ¨™æº–ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®é–¢æ•°ã§ã™ã‘ã©ã€ ï¼‘å¼•æ•°é–¢æ•° f ã¨ï¼‘ã¤ã®ãƒªã‚¹ãƒˆ as
tarao 2009/03/09
continuation

programming

language
ãƒªãƒ³ã‚¯
1