Scalaの限定継続の応用と基本を高橋メソッド風味で説明したプレゼンです。

1. Scalaの限定継続の応用と基本
in 高橋メソッド
水島 宏太
(@kmizu)

2. 限定継続について話します

3. その前に

4. 継続って何？

5. 「これから行われる残りの計算
をパッケージ化したもの」

6. 抽象的

7. わからない

8. 必要なのは具体例

9. call/cc

10. 説明しづらい

11. 「ファーストクラスreturn」

12. void foo() {
Continuation<Void> c =`return`;
bar(c);
println("foo end");
}
void bar(Continuation<Void> c) {
for(int i = 0; i <= 10; i ++ ) {
if(i >= 5) {
println("break!");
c.invoke(null);
}
}
}
foo() "break!"

13. "foo end"はどこにいった？

14. void foo() {
Continuation<Void> c =`return`;
bar(c);
println("foo end");
}
void bar(Continuation<Void> c) {
for(int i = 0; i <= 10; i ++ ) {
if(i >= 5) {
println("break!");
c.invoke(null);
}
}
}
foo() "break!"

15. foo()の呼び出し元まで吹っ飛ぶ

16. 例外みたい？

17. だいぶ違う

18. static Continuation<Integer> continuation;
void main(String[] args) {
Integer result = hoge();
println("result = " + result);
continuation.invoke(200);
}
Integer hoge() {
println("hoge started");
foo(`return`);
println("hoge finished");
}
Integer foo(Continuation<Integer> escape) {
continuation = escape;
continuation.invoke(300);return -1;
}

19. どうなる？

20. 300
200
200
200
200
200
200
200
200
...

21. 無限ループ

22. なぜ？

23. static Continuation<Integer> continuation;
void main(String[] args) {
Integer result = hoge();
println("result = " + result);
continuation.invoke(200);
}
Integer hoge() {
println("hoge started");
foo(`return`);
println("hoge finished");
}
Integer foo(Continuation<Integer> escape) {
continuation = escape;
continuation.invoke(300); return -1;
}

24. 一度抜けたメソッドに戻れる

25. タイムマシーンみたいな

26. 一度呼び出したら返ってこない

27. これが普通の継続

28. 限定継続

29. の前に応用例

30. の前に応用例

31. 何の役に立つ？

32. がわからないとやる気がでない

33. というわけで応用例

34. ふつうの継続と同じ分野

35. 利用側のコードだけ説明

36. 実装の説明は難しい

37. Generator

38. C#のyieldとか

39. Pythonのジェネレータ

40. val x1: Iterator[Int] = make[Int]{yields =>
yields(1)
println("X")
yields(2)
println("Y")
yields(3)
}
while(x1.hasNext) {
println("----")
println(x1.next)
}

41. ----
1
X
----
2
Y
----
3

42. yieldでStop the world

43. nextで再開

44. 使う方は難しくない

45. Amb

46. 非決定計算

47. 実際にはただの総当り

48. block {
val x = amb(1, 2, 3)
val y = amb(4, 5)
printf("(%d, %d)%n", x, y)
}

49. (1, 4)
(1, 5)
(2, 4)
(2, 5)
(3, 4)
(3, 5)

50. Goto

51. 継続は元々はgotoの形式化

52. reset {
var sum = 0; var i = 0
val LOOP = label // gotoのためのラベルを作成
sum += i
i += 1
if(i <= 100) goto(LOOP) // gotoでジャンプ
println("1から100までの合計値：" + sum)
}

53. 他にも色々

54. 話を戻して限定継続

55. 色々方式がある

56. shift/reset

57. control/prompt

58. Scalaはshift/resetを採用

59. 普通の継続との違いは？

60. 戻れる範囲を制限

61. 呼び出したら「返って来る」

62. これだけだとよくわからない

63. コード例

64. val answer = reset {
val x = shift { k: (Int => Int) =>
println("A")
println("k(10) = " + k(10))
println("B")
8
}
println("x = " + x)；x * 2
}
println("answer = " + answer)

65. A
x = 10
k(10) = 20
B
answer = 8

66. 何故こうなる？

67. resetは継続の範囲を制限

68. shiftは少しめんどう

69. val x = shift { k: (Int => Int) =>
println("A")
println("k(10) = " + k(10))
println("B")
8
}

70. kが継続

71. 型はInt => Int

72. Intを渡すとIntが「返って来る」

73. println("A")
println("k(10) = " + k(10))
println("B")
8
が評価される

74. その後が問題

75. shiftの呼び出し元に「返らない」

76. resetの呼び出し元に「返る」

77. ここがわかりにくい点

78. ところで

79. println("k(10) = " + k(10))

80. k(10)で何が起こってる？

81. shiftの呼び出し元に「返る」

82. println("x = " + x)
x*2

83. resetを抜けるまでが評価される

84. 最後にkの呼び出し元に「返る」

85. kの呼び出しの続きが評価される

86. 何度でもkを呼び出せる

87. 非常にややこしい

88. 普通の人にshift/resetは…

89. 中の人が知っていればいい話

90. でも面白い

91. 宣伝

92. 『オープンソース徹底活用
Scala実践プログラミング』
秀和システム

93. 共著で書きました

94. 限定継続の話もあります

95. わかりにくければdisってください

96. 質問タイム？