shift / reset

学生と社会人LT会 2024/09/07で発表したものです．
connpass : https://gijutsu-club.connpass.com/event/326674/

slide の内容を深堀したい人は, shift/resetで検索することをお勧めします．
特に下記のURLは参考になると思います．
- http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf
- https://blog.miz-ar.info/2022/10/delimited-continuations/
- https://prg.is.titech.ac.jp/papers/pdf/flops2024-slides.pdf

Transcript

1. @tesso57 shift / reset tesso @学生と社会人LT会 2024/09/07
2. @tesso57 @tesso57 (てっそ) - 修士1年 - 研究 : 暗号理論 - ナンバーナイン 開発アルバイト - go, connect-go - FPSゲーマー - valorant - deadlock - 漫画好き
3. @tesso57 shift/reset 知ってる人！ reset ( fun () -> 1 + shift (fun k -> 42) ) ;;
4. @tesso57 try / catch 知ってる人！ try { throw "shift" } catch (error) { 42 }
5. @tesso57 実は同じ処理 try { throw "shift" } catch (error) { 42 } reset ( fun () -> 1 + shift (fun k -> 42) ) ;;
6. @tesso57 実は同じ処理 try { throw "shift" } catch (error) { 42 } reset ( fun () -> 1 + shift (fun k -> 42) ) ;; わからん！
7. @tesso57 これをわかった気になろう reset ( fun () -> 1 + shift (fun k -> 42) ) ;;
8. @tesso57 これをわかった気になろう reset ( fun () -> 1 + shift (fun k -> 42) ) ;; reset: 1+ shift(k): 42 Python like に変換！
9. @tesso57 shift / resetとは？ - 限定継続 - コルーチン, 非決定計算 - Scala 2系に搭載 (lts : 3.3.3) - grab/delimit
10. @tesso57 shift / resetとは？ - 限定継続 👀 - コルーチン, 非決定計算 - Scala 2系に搭載 (lts : 3.3.3) - grab/delimit
11. @tesso57 限定継続とは？ - 範囲が限定されている継続
12. @tesso57 限定継続とは？ - 範囲が限定されている継続 👀
13. @tesso57 継続 (continuation) とは？ - ``その後の計算’’ を表すもの - 例外処理の一般化 - コールバック関数
14. @tesso57 継続 (continuation) とは？ - ``その後の計算’’ を表すもの - 例外処理の一般化 - コールバック関数 うーん🤔
15. @tesso57 普通 vs 継続 def inc(x): return x+1 print(inc(5)) 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb) - 普通 - 6が出力
16. @tesso57 普通 vs 継続 def inc_c(cont, x): cont(x+1) inc_c(print, 5) 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb) - 継続 - inc_cが関数を受け取る！
17. @tesso57 普通 vs 継続 def inc_c(cont, x): cont(x+1) inc_c(print, 5) 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb) - 継続 - inc_cが関数を受け取る！
18. @tesso57 普通 vs 継続 def inc(x): return x+1 print(inc(5)) def inc_c(cont, x): cont(x+1) inc_c(print, 5) 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb)
19. @tesso57 普通 vs 継続 def inc(x): return x+1 print(inc(5)) def inc_c(cont, x): cont(x+1) inc_c(print, 5) 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb) 値に着目するのか，関数に着目するのか
20. @tesso57 普通 vs 継続 def inc(x): return x+1 print(inc(5)) def inc_c(cont, x): cont(x+1) inc_c(print, 5) 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb) 関数に着目 → 処理を制御しやすい
21. @tesso57 普通 vs 継続 - OnClick - setTimeout - 何かした後に、ある関数を発火する 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb)
22. @tesso57 CPS(continuation-passing style) - 継続スタイルでプログラムをかくこと 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb) def inc_c(cont, x): cont(x+1) inc_c(print, 5)
23. @tesso57 CPS(continuation-passing style) - 継続スタイルでプログラムをかくこと 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb) def inc_c(cont, x): cont(x+1) inc_c(print, 5) 読むの大変
24. @tesso57 CPSの残念ポイント - 実行順番と、コードの順番が逆 - インデントだらけになる 引用 : CPS(継続渡しスタイル)のプログラミングに入門する (https://qiita.com/Kai101/items/eae3a00fcd1fc87e25fb)
25. @tesso57 CPSの残念ポイント - 実行順番と、コードの順番が逆 - インデントだらけになる いい感じのCPSが欲しい
26. @tesso57 限定継続 - 継続=計算の過程に着目 - 継続が使いたいタイミングは少しだけ - それ以外は普通に書こう
27. @tesso57 限定継続 - 継続=計算の過程に着目 - 継続が使いたいタイミングは少しだけ - それ以外は普通に書こう - shift : 計算を止める - reset : 計算の範囲を決める
28. @tesso57 限定継続 - shift : 計算を止める, kはshiftより前の計算 - reset : 計算の範囲を決める reset: 1 + shift(k): 42
29. @tesso57 限定継続 - shift : 計算を止める, kはshiftより前の計算 - reset : 計算の範囲を決める reset: 1 + shift(k): 42 def k(x): 1 + x
30. @tesso57 限定継続 - shift : 計算を止める, kはshiftより前の計算 - reset : 計算の範囲を決める reset: 1 + shift(k): 42 def k(x): 1 + x 結果 : 42
31. @tesso57 限定継続 - shift : 計算を止める, kはshiftより前の計算 - reset : 計算の範囲を決める reset: 1 + shift(k): k(42) def k(x): 1 + x
32. @tesso57 限定継続 - shift : 計算を止める, kはshiftより前の計算 - reset : 計算の範囲を決める def k(x): 1 + x 結果 : 43 reset: 1 + shift(k): k(42)
33. @tesso57 限定継続 - shift : 計算を止める, kはshiftより前の計算 - reset : 計算の範囲を決める def k(x): 1 + x 結果 : 43 reset: 1 + shift(k): k(42) わかった気がする
34. @tesso57 まとめ - 継続、限定継続 - 継続=計算の過程に着目 - shift/reset - generator, algebraic effects