(call/cc (lambda (cont) (cont 知見)))
0 likes398 views
2015年10月18日 第2回 OUCC LT会 http://oucc.org/ call/cc を勉強したり実装したりした話
![継 続 の 生 成
• 例えば、複数の式を順番に評価するような式
e = (e1 : Expr, e2 : Expr, ..., eN : Expr) : Expr
r = eval e, ri = eval ei ― 評価結果
• ri = Ok v ei+1 以降の評価を続ける, i = N ならば r = Ok v
• Cont f c r = Cont f ((λx → eval ([r1, ..., ri-1,] x, ei+1, ..., eN)) ○ c)
• Next v r = Next v](https://image.slidesharecdn.com/callcc2-160202165543/85/call-cc-lambda-cont-cont-20-320.jpg)
(call/cc (lambda (cont) (cont 知見)))
- 1. ( c a l l / c c ( l a m b d a ( c o n t ) ( c o n t 知 見 ) ) ) 2 0 1 5 年 1 0 月 1 8 日 第 2 回 O U C C LT 会
- 2. お ま え か • すしす • アレ系 • ﾋwiﾋﾋer: @susisu2413 • GitHub: susisu • Scheme 素人です
- 3. 継 続 • "継続（けいぞく、continuation）とは、プログラムの 実行においてある時点において評価されていない残り のプログラム（the rest of the program）を意味するも のであり、手続き（procedure）として表現されるも のである。" 継続 - Wikipedia https://ja.wikipedia.org/wiki/ %E7%B6%99%E7%B6%9A
- 4. 殺 伐 と し た スラ イ ド に S 式 が (+ 1 2)
- 5. 2 か ら 見 た 継 続 (+ 1 (...))
- 6. ラム ダ 式 で は (lambda (x) (NEXT (+ 1 x) )) NEXT はそこで評価を終了する仮想の処理
- 7. c a l l / c c • 略さずに言うと call-with- current-continuation • 現在の継続を引数として, 与えられた関数を呼び出す • 継続はただの関数なので, 保存しておいて, 別の場所 から呼び出すことも可能
- 8. (+ 1 2)
- 9. 2 を c a l l / c c の 式 で 置 き 換 えて み る (+ 1 (call/cc (lambda (cont) (cont 2)) ))
- 10. c a l l / c c の 引 数 ( 関 数 ) に 渡 さ れ る 継 続 (+ 1 (...))
- 11. ラム ダ 式 で は (lambda (x) (NEXT (+ 1 x) ))
- 12. つ ま り こう い う こ と (+ 1 ( (lambda (cont) (cont 2)) (lambda (x) (NEXT ( (+ 1 x) ))) ))
- 13. 評 価 を 進 め る (+ 1 (NEXT (+ 1 2) ))
- 14. 3
- 15. 何 に 使 える の か • ループ脱出 (break) • 例外処理 (throw) • コルーチン (yield) • return, goto, etc. • 要は突入と脱出
- 16. つよ い
- 17. 実 装 し た
- 18. ど う い う 実 装 • https://github.com/susisu/js-sandbox/blob/master/ continuation/src/v2.js • AST インタプリタ in JavaScript • 基礎は前回の LT で発表したものの流用 http://susisu.hatenablog.com/entry/2015/07/12/142250 • Scheme の例をいくつか試したところ期待通りに動作した ので、たぶん上手くいっている
- 19. 継 続 の 生 成 ( 単 純 化 し た も の ) • 式 Expr • 式の評価 eval : Expr → Res ― 厳密には環境も必要 • 評価結果 Res = Ok Val ― 成功 | Cont Val (Res → Res) ― 継続 | Next Val ― 評価終了
- 20. 継 続 の 生 成 • 例えば、複数の式を順番に評価するような式 e = (e1 : Expr, e2 : Expr, ..., eN : Expr) : Expr r = eval e, ri = eval ei ― 評価結果 • ri = Ok v ei+1 以降の評価を続ける, i = N ならば r = Ok v • Cont f c r = Cont f ((λx → eval ([r1, ..., ri-1,] x, ei+1, ..., eN)) ○ c) • Next v r = Next v
- 21. 継 続 の 生 成 • トップレベルには中身の式の評価結果が Ok v ならば Next v となる式を置いておく • eval “(call/cc f)” = Cont f (λx → x) • (call/cc f) を含む式を評価すると Cont f c が得られる • 最後に c (f c) を計算すれば (そのうち) 値が出てくる
- 22. ?
- 23. D E M O
- 24. 継 続 は 力