![Iteratee の状態と状態遷移
• Cont — 引き続き Input[E] を処理する
• Done — 結果がでた
• Error — エラーが起きた
Inputをひとつ処理する毎に
状態遷移
Cont
Done Error
Iteratee は状態をもつ](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-13-320.jpg)
![コード見たほうが分かりやすい？
sealed trait Step[E, +A]
!
object Step {
case class Done[+A, E](a: A, remaining: Input[E]) extends Step[E, A]
case class Cont[E, +A](k: Input[E] => Iteratee[E, A]) extends Step[E, A]
case class Error[E](msg: String, input: Input[E]) extends Step[E, Nothing]
}](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-19-320.jpg)
![Non-blocking
IterateeEnumerator
Iteratee
Iteratee
…
Iteratee に Input を流し込み、将来の Iteratee を得る
trait Enumerator[E] {
def apply[A](i: Iteratee[E, A]): Future[Iteratee[E, A]]
}
blockしない](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-20-320.jpg)
![混乱しがちなこと
• Iteratee には
状態がわかっているもの (StepIteratee)と、
将来状態がわかるもの(FutureIteratee)がある
• Future[Iteratee] は
Iteratee (FutureIteratee) に
変換できる (Iteratee.flatten())
Iteratee
StepIteratee FutureIteratee](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-21-320.jpg)
![結果Aの計算も Non-blocking
IterateeEnumerator
Iteratee
Iteratee
…
A
trait Iteratee {
def run: Future[A]
}
blockしない](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-23-320.jpg)
![Enumerator.apply(Iteratee)
Iteratee[E,A]
E
Enumerator[E]
Iteratee[E,A]
(FutureIteratee)
Iteratee.flatten()
E
A
A
E E
|>>](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-25-320.jpg)
![Enumeratee.compose(Enumeratee)
Enumeratee[B,C]
A
Enumeratee[A,B]
A B B C C
Enumeratee[A,C]
A A C C
><>](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-26-320.jpg)
![Enumerator.through(Enumeratee)
Enumeratee[A,B]
A
Enumerator[A]
A B B
Enumerator[B]
B B
&>](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-27-320.jpg)
![Enumeratee.transform(Iteratee)
Iteratee[B,C]
A
Enumeratee[A,B]
A B B
C
Iteratee[A,C]
A A
C
&>>](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-28-320.jpg)
![Enumerator.andThen (Enumerator)
E
Enumerator[E]
EEnumerator[E]
1
2
ひとつめの Enumerator が
終わったら、ふたつめ
Enumerator[E]
E E
>>>](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-29-320.jpg)
![Enumerator.interleave(Enume
rator)
E
Enumerator[E]
EEnumerator[E]
ふたつを織り交ぜて出力する
Enumerator[E]
E E
>-](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-30-320.jpg)
: Future[Iteratee[E, A]] = apply(i)](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-31-320.jpg)
![身近なIteratee (WebSocket)
ドキュメント内のサンプルコード
def socket = WebSocket.using[String] { request =>
// Log events to the console
val in = Iteratee.foreach[String](println).map { _ =>
println("Disconnected")
}
// Send a single 'Hello!' message
val out = Enumerator("Hello!")
(in, out)
} (Iteratee[E, _], Enumerator[E])](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-34-320.jpg)
![Actor based web socket API
• Play 2.3 から入る
• 自分で頑張る部分を手助けしてくれる
ドキュメント内のサンプルコード
def socket = WebSocket.acceptWithActor[String, String] {
request => out =>
MyWebSocketActor.props(out)
}
RequestHeader
ActorRef (出力担当Actor)
Props (入力担当Actorの設定)](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-36-320.jpg)
![身近なIteratee (Result)
def index = Action {
Ok("hello")
}
!
case class Result(
header: ResponseHeader,
body: Enumerator[Array[Byte]])
これは Result 型](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-38-320.jpg)
![身近なIteratee (BodyParser)
trait BodyParser[A] extends
(RequestHeader =>
Iteratee[Array[Byte], Either[Result, A]])
BodyParser は RequestHeader を取って Iteratee を返す関数
def save = Action(parse.text) { request =>
Ok("Got: " + request.body)
}
これが BodyParser。
指定しなければ parse.anyContent
parse された body](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-41-320.jpg)
![Play
身近なIteratee (BodyParser)
BodyParser
RequestHeader
Iteratee
Input[Array[Byte]]
①
②
A
HTTP request の body を
小分けしたもの
Request.body ができた
③HTTP request](https://image.slidesharecdn.com/playiteratee-140523235534-phpapp01/85/Iteratee-42-320.jpg)
やさしいIteratee入門
- 1. やさしいIteratee入門 Play Framework 2 Meetup @kawachi 2014/5/24
- 2. データ分析関連書籍 翻訳やってます。 Scala, Play, iOS, Ruby, Rails, Java, C, Python, Javascript, Haxe etc.
- 3. Scala, Play 関連 2011年 プロトタイプ作成にPlay! 1 採用 （少しだけ） 2012年~ Scalaをメインとして使用 2013年末~ Play 2 で開発 サービス課題をサクッとチェック 事前登録受付中 http://logbook.strikingly.com/ Logbook
- 5. 対象 • 今日の話は Play 2.3.0-RC1 を基にしています • Scala です • えーと、Java の方いらっしゃいますか？
- 6. 今日の内容 1. Iteratee の概要 2. Iteratee 3つの特徴 3. 身近な Iteratee
- 7. Iteratee? • Websocket の説明を読んでいると突然出てくるアレ • マニュアル内 Advanced topics の最初の項目 • 純粋関数型世界からきた概念 • 2008年に提唱された • http://okmij.org/ftp/Streams.html
- 8. Iteratee を知っておくべき理由 • WebSocket/Comet の実装に必要 • Play のいろんなところで使われている • わかんないと気持ち悪い （ですよね？）
- 9. Iteratee を学びたての James Roper さん曰く (2012/11) • “Well I just learnt iteratees, and although I'm feeling more and more comfortable with functional programming every day, I still think like an imperative programmer at heart. This made learning iteratees very difficult for me.” • Typesafe 社で Play の tech lead やってる人も 難しいっていってた http://jazzy.id.au/default/2012/11/06/iteratees_for_imperative_programmers.html
- 13. Iteratee の状態と状態遷移 • Cont — 引き続き Input[E] を処理する • Done — 結果がでた • Error — エラーが起きた Inputをひとつ処理する毎に 状態遷移 Cont Done Error Iteratee は状態をもつ
- 15. 今日の内容 1. Iteratee の概要 2. Iteratee 3つの特徴 3. 身近な Iteratee
- 16. 3つの特徴 • Immutable • Non-blocking • Composable
- 17. Immutable? でも状態があるよ？ Immutable で状態を変更するには… Immutable collection を思い出してみよう。 ! val a1 = List(1, 2, 3) val a2 = a1 ++ List(4, 5, 6) もとのa1は変更されずそのまま。 新しい collection が生成される。
- 18. Immutable! Cont 状態の Iteratee は Input を引数にとって 次の Iteratee を返す 関数をもつ 1 Input 毎に 別の Iteratee が 生成される Done か Error になったら それ以上入力を受け取らない Cont Cont Done
- 19. コード見たほうが分かりやすい？ sealed trait Step[E, +A] ! object Step { case class Done[+A, E](a: A, remaining: Input[E]) extends Step[E, A] case class Cont[E, +A](k: Input[E] => Iteratee[E, A]) extends Step[E, A] case class Error[E](msg: String, input: Input[E]) extends Step[E, Nothing] }
- 20. Non-blocking IterateeEnumerator Iteratee Iteratee … Iteratee に Input を流し込み、将来の Iteratee を得る trait Enumerator[E] { def apply[A](i: Iteratee[E, A]): Future[Iteratee[E, A]] } blockしない
- 21. 混乱しがちなこと • Iteratee には 状態がわかっているもの (StepIteratee)と、 将来状態がわかるもの(FutureIteratee)がある • Future[Iteratee] は Iteratee (FutureIteratee) に 変換できる (Iteratee.flatten()) Iteratee StepIteratee FutureIteratee
- 23. 結果Aの計算も Non-blocking IterateeEnumerator Iteratee Iteratee … A trait Iteratee { def run: Future[A] } blockしない
- 26. Enumeratee.compose(Enumeratee) Enumeratee[B,C] A Enumeratee[A,B] A B B C C Enumeratee[A,C] A A C C ><>
- 29. Enumerator.andThen (Enumerator) E Enumerator[E] EEnumerator[E] 1 2 ひとつめの Enumerator が 終わったら、ふたつめ Enumerator[E] E E >>>
- 30. Enumerator.interleave(Enume rator) E Enumerator[E] EEnumerator[E] ふたつを織り交ぜて出力する Enumerator[E] E E >-
- 31. 記号API • |>>, |>>|, &>, >-, >>> などの記号がある • Methodを呼び出しているだけ • その都度定義をみても大丈夫 例: def |>>[A](i: Iteratee[E, A]): Future[Iteratee[E, A]] = apply(i)
- 32. 今日の内容 1. Iteratee の概要 2. Iteratee 3つの特徴 3. 身近な Iteratee
- 34. 身近なIteratee (WebSocket) ドキュメント内のサンプルコード def socket = WebSocket.using[String] { request => // Log events to the console val in = Iteratee.foreach[String](println).map { _ => println("Disconnected") } // Send a single 'Hello!' message val out = Enumerator("Hello!") (in, out) } (Iteratee[E, _], Enumerator[E])
- 36. Actor based web socket API • Play 2.3 から入る • 自分で頑張る部分を手助けしてくれる ドキュメント内のサンプルコード def socket = WebSocket.acceptWithActor[String, String] { request => out => MyWebSocketActor.props(out) } RequestHeader ActorRef (出力担当Actor) Props (入力担当Actorの設定)
- 37. Actor based web socket API Browser Play Enumerator Iteratee 出力Actor 入力Actor Props ここは自分で頑張る
- 38. 身近なIteratee (Result) def index = Action { Ok("hello") } ! case class Result( header: ResponseHeader, body: Enumerator[Array[Byte]]) これは Result 型
- 40. 身近なIteratee (Result) Ok.chunked() で chunked response が返せる。 送信開始時に全データ Content-Length を知らなくて いいから嬉しい（こともある）。 ! def index = Action { Ok.chunked( Enumerator.fromFile(new File("1gb.file"))) }
- 41. 身近なIteratee (BodyParser) trait BodyParser[A] extends (RequestHeader => Iteratee[Array[Byte], Either[Result, A]]) BodyParser は RequestHeader を取って Iteratee を返す関数 def save = Action(parse.text) { request => Ok("Got: " + request.body) } これが BodyParser。 指定しなければ parse.anyContent parse された body
- 42. Play 身近なIteratee (BodyParser) BodyParser RequestHeader Iteratee Input[Array[Byte]] ① ② A HTTP request の body を 小分けしたもの Request.body ができた ③HTTP request
- 43. まとめ • Iteratee はストリーミング処理API • Enumerator → Enumeratee → Iteratee • Cont, Done, Error 状態をもつ • Immutable, Non-blocking, Composable • Play のいろんなところで使われている