Gauche - A Scheme Interpreter
VMã®ã‚¹ã‚¿ãƒƒã‚¯æ“作 (未完) Gaucheã®VMã¯ã”ãå˜ç´”ãªã‚¹ã‚¿ãƒƒã‚¯ãƒžã‚·ãƒ³ã§ã‚る。 ã ãŒã€Schemeã®å ´åˆã€first class continuationを実ç¾ã™ã‚‹ãŸã‚ã«ã€ スタックフレームãŒãƒ’ープã«ã‚»ãƒ¼ãƒ–ã•ã‚ŒãŸã‚Šã€é€†ã«ãƒ’ープã‹ã‚‰ã‚¹ã‚¿ãƒƒã‚¯ã«å¾©å…ƒã•ã‚ŒãŸã‚Šã¨ã„ㆠæ“作ãŒå…¥ã£ã¦æ¥ã‚‹ã®ã§ã€ã†ã£ã‹ã‚Šã™ã‚‹ã¨è‡ªåˆ†ã§ã‚‚æ··ä¹±ã—ã¦ãƒã‚°ã‚’æŒã¡è¾¼ã‚€ã“ã¨ãŒã‚る。 後ã§æ€ã„出ã›ã‚‹ã‚ˆã†ã«ã€ã“ã“ã«æ•´ç†ã—ã¦ãŠã“ã†ã€‚ 基本レジスタ スタックæ“作ã«æ·±ãã‹ã‹ã‚ã‚‹ã®ã¯æ¬¡ã®ãƒ¬ã‚¸ã‚¹ã‚¿ç¾¤ã€‚ ScmEnvFrame *env ç¾åœ¨ã®ç’°å¢ƒã®ãƒˆãƒƒãƒ—。ã„ã‚ゆるstatic link。直接ã«ã¯ã€ 最も内å´ã®é™çš„スコープã§è¦‹ãˆã¦ã„る環境を指ã—ã¦ã„る。 upãƒã‚¤ãƒ³ã‚¿ã‚’ãŸãã£ã¦ã‚†ã‘ã°ä¸Šã®ç’°å¢ƒã«è¡Œã‘る。upãƒã‚¤ãƒ³ã‚¿ã¯NULLã§çµ‚端ã•ã‚Œã‚‹ã€‚ ScmContFrame *cont ç¾åœ¨ã®ã‚³ãƒ³ãƒ†ã‚£ãƒ‹ãƒ¥ã‚¨ãƒ¼ã‚·ãƒ§ãƒ³ãƒ•ãƒ¬ãƒ¼ãƒ ã®ãƒˆãƒƒãƒ—。 ã„ã‚ゆるactivatio
Scheme/継続 - Wikibooks
Schemeã¯ç¶™ç¶š(continuation)ã¨ã„ã†ã€ãŸã„ã¸ã‚“強力ã§æŸ”軟ãªåˆ¶å¾¡æ©Ÿæ§‹ã‚’å‚™ãˆã¦ã„ã¾ã™ã€‚継続を用ã„ã‚Œã°å¤§åŸŸè„±å‡ºã€ã‚³ãƒ«ãƒ¼ãƒãƒ³ã€ç–‘似マルãƒã‚¿ã‚¹ã‚¯ã€ãƒãƒƒã‚¯ãƒˆãƒ©ãƒƒã‚¯ã¨ã„ã£ãŸç‰¹æ®Šãªåˆ¶å¾¡ã‚’å¿…è¦ã¨ã™ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ を効率的ã«è¨˜è¿°ã™ã‚‹ã“ã¨ãŒã§ãã‚‹ã®ã§ã™ã€‚ã—ã‹ã—一方ã§ãã®æŠ½è±¡åº¦ã®é«˜ã•ã‹ã‚‰ã€ã€Œç¶™ç¶šã¯é›£ã—ã„ã‚‚ã®ã€ã¨ã„ã†å°è±¡ã‚‚å¼·ã„よã†ã§ã™ã€‚ ã“ã“ã§ã¯ç¶™ç¶šã®æ£ç¢ºãªå®šç¾©ã¯ã¨ã‚Šã‚ãˆãšå¾Œã«å›žã—ã€ç›´æ„Ÿçš„ãªè¦³ç‚¹ã‹ã‚‰ç¶™ç¶šã‚’å°Žå…¥ã—ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ 話を簡å˜ã«ã™ã‚‹ãŸã‚ã€ä»Šå…¨ã¦ã®æ‰‹ç¶šããŒ1-in/1-outã§ã‚るよã†ãª1-Schemeã¨ã„ã†ã‚‚ã®ã‚’考ãˆã¾ã™ã€‚例ãˆã°ï¼š (define (double x) (* x x)) (double 2) => 4 (define (add1 x) (+ x 1)) (add1 2) => 3 ã®ã‚ˆã†ãªæ‰‹ç¶šããŒ1-Scheme手続ãã§ã™ã€‚ (ãªãŠSchemeã§ã¯lambdaを自由ã«å°Žå…¥ã§
Schemeを作ã‚ㆠ第3回 継続
Last update 1999/08/07 Scheme処ç†ç³»ã®åˆ¶ä½œ 第3回 (C)平山直之 ç„¡æ–転載ã¯ç¦æ¢ã€ãƒªãƒ³ã‚¯ã¯ãƒ•ãƒªãƒ¼ 誤å—脱å—ã®æŒ‡æ‘˜ã¯æ“è¿Ž 継続ã¨ã¯ 今回ã¯ã€å‰å›žã€Œã‚ã‚“ã©ãã›ãˆã€ã¨æ”¾æ£„ã—ãŸç¶™ç¶šã®æ¦‚念ã®èª¬æ˜ŽãŠã‚ˆã³å®Ÿè£…レãƒãƒ¼ãƒˆã«ã¤ã„ã¦æ›¸ããŸã„ã¨æ€ã„ã¾ã™ã€‚ ã‚ã‚Œã‹ã‚‰ã¾ãŸã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆæ¼ã£ã¦ã¿ãŸã®ã§ã™ãŒã€ã‚„ã£ã±ã‚Šã©ã†ã‚‚日本語リソースã¯ãªã„らã—ã„ã®ã§ã€è‡ªåŠ›ã§æ›¸ã„ã¦ã¿ã‚‹ã“ã¨ã«ã—ã¾ã™ï¼ˆschemeã®ç ”究ã—ã¦ã‚‹å¦è€…・å¦ç”Ÿãªã‚“ã¦æŽƒã„ã¦æ¨ã¦ã‚‹ã»ã©ã„ã‚‹ã ã‚ã†ã«â€¦â€¦ï¼‰ ã•ã¦ã€ã“ã‚“ãªC言語ã®ã‚³ãƒ¼ãƒ‰ãŒã‚ã‚‹ã¨ã—ã¾ã™ã€‚ void foo(void){ bar(baz( )); bar(0); } C言語をå¦ã‚“ã 皆ã•ã‚“ãªã‚‰ã€ã“ã®ã‚³ãƒ¼ãƒ‰ãŒã©ã†ã„ã†é †ç•ªã«å®Ÿè¡Œã•ã‚Œã‚‹ã®ã‹ã‚ã‹ã‚Šã¾ã™ã‚ˆã。説明ã•ã‚Œã‚‹ã¾ã§ã‚‚ãªã〠baz( )を呼ã³å‡ºã™ ãã®æˆ»ã‚Šå€¤ã‚’引数ã¨ã—ã¦barを呼ã³å‡ºã™ 0を引数ã¨ã—ã¦å‘¼ã³å‡ºã™ fooã®å‘¼ã³å‡ºã—ã‚‚ã¨ã«å¸°
継続
継続ã€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ã¨åŒã˜ã‚ˆã†ã«è¦‹ãˆã‚‹ã®ã ãŒã€ スタックãŒæ·±ããªã‚‹æ–¹å‘ã«ã‚‚ジャ
11. 継続 | Schemeã¸ã®é“
継続(continuation)ã¨ã¯ï¼Œå¼ã‚’評価ã—ã¦ã„る途ä¸ã®ã‚る時点ã§ï¼Œã€Žã„ã¾å¾—られ㟠値を使ã£ã¦ï¼Œã“ã®å¾Œã¯ä½•ã‚’計算ã™ã‚‹ã®ã‹ã€ã‚’表ã™ã‚‚ã®ã§ã‚る．ãŸã¨ãˆã°ï¼ŒScheme ã®é–¢æ•°å‘¼ã³ã ã—ã®å¼ã‚’評価ã™ã‚‹éš›ã«ã¯ï¼Œã¾ãšé–¢æ•°ã¨ãã®å¼•æ•°ã‚’評価ã—ã¦ï¼Œã㮠後ã§é–¢æ•°ã«å¼•æ•°ã‚’é©ç”¨ã™ã‚‹ï¼Ž ==> (+ (* 1 2) (* 3 4)) ;; ==> (+ 2 12) ;; ==> 14 14 ã“ã®å¼ã®å ´åˆï¼Œã¾ãšã€Œ+ã€,「(* 1 2)ã€,「(* 3 4)ã€ã‚’è©• 価ã—ãŸã®ã¡ï¼Œã€Œ(+ 2 12)ã€ã‚’評価ã™ã‚‹ï¼Ž å„部分å¼ã®è©•ä¾¡ãŒå·¦ã‹ã‚‰å³ã¸é€²ã‚€ã‚‚ã®ã¨ã™ã‚‹ã¨ï¼Œ ãŸã¨ãˆã°ï¼Œã€Œ(* 3 4)ã€ã‚’評価ã—ãŸå¾Œã«ã™ã‚‹ã¹ã計算，ã¤ã¾ã‚Šç¶™ç¶šã¯ï¼Œ 『ã„ã¾å¾—られãŸå€¤ã«2ã‚’åŠ ãˆã‚‹ã€ ã§ã‚る．ã“ã®å¼ã®è©•ä¾¡ã‚’完了ã™ã‚‹ãŸã‚ã«ã¯ï¼Œ Schemeã®ã‚·ã‚¹ãƒ†ãƒ ã¯ï¼Œã“ã®ç¶™ç¶šã‚’知ã£ã¦ã„ãªã‘ã‚Œã°ãªã‚‰ãªã„． 継続ã¯ï¼Œã€Œä½•ã‚’評価ã—ã¦ï¼Œãã®å€¤ã«ã‚ˆã£ã¦æ¬¡ã«ã¯ä½•ã‚’è¡Œã†ã€
継続 - Wikipedia
ã“ã®é …ç›®ã§ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®ç¶™ç¶šã«ã¤ã„ã¦è¨˜è¿°ã—ã¦ã„ã¾ã™ã€‚「継続ã€ã®èªžç¾©ã«ã¤ã„ã¦ã¯ã€ã‚¦ã‚£ã‚¯ã‚·ãƒ§ãƒŠãƒªãƒ¼ã®ã€Œç¶™ç¶šã€ã®é …目をã”覧ãã ã•ã„。 計算機科å¦ã«ãŠã‘る継続（ã‘ã„ãžãã€continuation）ã¨ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒ を実行ä¸ã®ã‚る時点ã«ãŠã„ã¦ã€è©•ä¾¡ã•ã‚Œã¦ã„ãªã„残りã®ãƒ—ãƒã‚°ãƒ©ãƒ （the rest of the program）を表ç¾ã™ã‚‹ã‚‚ã®ã§ã‚ã‚Šã€æ‰‹ç¶šã（procedure）ã‚ã‚‹ã„ã¯é–¢æ•°ï¼ˆfunction）ã¨ã—ã¦è¡¨ç¾ã•ã‚Œã‚‹ã‚‚ã®ã§ã‚ã‚‹[1]。 継続ã«ç›¸å½“ã™ã‚‹æ¦‚念ã¯1960年代åˆé ã‹ã‚‰å˜åœ¨ã—ã¦ãŠã‚Šã€Algol 60ã®ã‚³ãƒ³ãƒ‘イラã®å®Ÿè£…[2]ãªã©ã®æ–‡çŒ®ã«ãŸã³ãŸã³ç™»å ´ã—ã¦ã„ãŸãŒã€ç¶™ç¶šã®åˆ©ç”¨ã«é–¢ã™ã‚‹æœ€ã‚‚æ—©ã„記述ã¯ã€1964å¹´ã®ã‚¢ãƒ‰ãƒªã‚¢ãƒ³ãƒ»ãƒ•ã‚¡ãƒ³ãƒ»ãƒ¯ã‚¤ãƒ³ãƒãƒ¼ãƒ«ãƒ‡ãƒ³Â (en:Adriaan van Wijngaarden) ã«ã‚ˆã‚‹ã‚‚ã®ã§ã‚ã‚‹[1]。
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://www.fastwave.gr.jp/diarysrv/arino/200110c.html
{{#tags}}- {{label}}
{{/tags}}