継続モナドを使ってWebアプリケーションのコントローラーを自由自在に組み立てる - Qiita

case class Cont[R, A](run: (A => R) => R) { def map[B](f: A => B): Cont[R, B] = Cont(k => run(a => k(f(a)))) def flatMap[B](f: A => Cont[R, B]): Cont[R, B] = Cont(k => run(a => f(a).run(k))) } ここで重要なのは Cont のコンストラクターに渡される run 関数です。 この run 関数を作り Cont のコンストラクターに渡すことで、継続モナドを作ることができます。 それで run 関数の型を見てみますと (A => R) => R とあります。 A => R という型の関数を受け取り、おそらく受け取った関数を実行し R という結果を返すという動作が期待できます。 ここで A を全体の中の途中の計

[zyzy]

自分的には結局Scalaで考えるのが一番分かりやすい

[onefootinthegrave]

あとで

[nishitki]

PlayFramework - 継続モナドを使ってWebアプリケーションのコントローラーを自由自在に組み立てる - Qiita

[ruicc]

controllerでContを使うモチベーションがまだいまいちわかってない（これからちゃんと読む）