ドメインの言語からモデリングした関数の型を実装から切り離す → 型パラメータ指定することで抽象化できる? という話?#ScalaMatsuri #sm_a
2016-01-30 16:20:07聞いたことないの出てきた( ゚д゚) クライスリ圏 - Wikipedia ja.wikipedia.org/wiki/%E3%82%AF… #ScalaMatsuri #sm_a
2016-01-30 16:26:43#ScalaMatsuri #sm_a ドメインロジックを全部クライスリの射にしてそれを合成することでドメイン全体を表現してるのか。確かに、ビジネスルールの文言がそのまま関数の合成っぽい感じで表現されてるな。clientOders andThen ... みたいな書き方。
2016-01-30 16:26:44#ScalaMatsuri #sm_a 簡単なら似たようなビジネスロジックの関数による表現けっこうやってるな思えば...。そして、エラーハンドリングの話はじまった。戻りを型コンストラクタにしちゃう。
2016-01-30 16:28:29#ScalaMatsuri #sm_a ListT is NOT Monad github.com/scalaz/scalaz/…
2016-01-30 16:31:18#ScalaMatsuri #sm_a うーん。話はわかるけど実際、コードの中に KleisliとかListTって出てきて人が直感的にビジネスロジックを理解できるドメインのコードになるかっていうと結構難しそうな...。むむむ。
2016-01-30 16:33:12Akka Clusterのノード追加、削除の話しているけれどこの状態遷移図は一般的な話なんだろうか。weakly upとかどういう状態なのか良くわからん。 #ScalaMatsuri #sm_a
2016-01-30 16:33:55#ScalaMatsuri #sm_a 実際まだ、現場でプロパティベーステストを導入したことないんだけど、自前でテストケースを境界値考えながら用意するのとプロパティベーステストでテストするのどっちがテストの開発効率よいのだろう。
2016-01-30 16:39:40