Download as PDF, PPTX
Uploaded byYoshitaka Kawashima
強いて言えば「集約どう実装するのかな、を考える」な話
アーキ部#13で使ったスライドです。 サンプルコードはこちらです。 https://github.com/kawasima/revisiting-domain-model
強いて言えば「集約どう実装するのかな、を考える」な話
- 1.
- 3. CartにCartItemを追加する Add Cart Add Cart AddCart 1 1 1 { “productId”: “mikan”, “quantity”: 1 } API Endpoint AddCartItemUseCase { “userId”: “kawasima”, “productId”: “mikan”, “quantity”: 1 }
- 4. ユースケースシナリオ 1. ユーザのカートが存在することを確認する。 2. productIdが実在する商品かつ販売中の商品であることを確認する。 2a.販売中でない場合 2a1. その旨をユーザに通知して終了 3. カートに商品と数量を追加する 3a. 既にカートの中に同一の商品があれば数量を足し合わせる 3a カート内の商品の数量が100を超える場合 その旨をユーザに通知して終了 4. カートの内容を保存する
- 5.
- 6. カート カートアイテム スタジアム 座席 列 番号 座席ランク 商品ID 数量 1 * ユースケース: あるカートアイテム の数量を変更する ユースケース:ある座席のランクを 変更する 制約: 同一ランクの座席数上限はス タジアム毎に決まりがある 制約: カート全体に入れることがで きる商品数量は100個まで 1 1..* ※10万席あるスタジアムもある A B
- 7.
- 8.
- 9.
- 10.
- 11. DDDトリレンマ: それぞれの選択に潜む悪魔 純粋性+完全性 純粋性+性能 完全性+性能 理想論の悪魔 👿 「純粋かつ完全なるドメイン…美しい」 ただし、遅くて使い物にならないけどな アンチドメインモデル貧血症 の悪魔 👿 「業務ロジックを発見し、濃いドメインモデルができたで〜」 こんな簡単なものに、こんな複雑な仕掛けが必要なの ? テスタビリティの悪魔 👿 「ドメイン層がピュアでテストしやすぅ〜」 ドメイン層スッカスカでテストが簡単に書けても、ユースケースからテスト通 さんと、ほとんど品質保証の意味をなさない。 どれも追求しすぎると、悪魔に取り憑かれる
- 12.
- 13.
- 14.
- 15. (ドメインサービスの乱用による)ドメイン貧血症 class User { publicexists(user: User): bool { // 重複チェック } } class UserService { public exists(user: User): bool { // 重複チェック } } Userに自分自身の存在確認メソッドを持た せるのは不自然。 なので、そういう場合にだけドメインサービ スを作るといいよ。 ドメインサービスの乱用は、ドメインモデル 貧血症を招くのでほどほどに … 『ドメイン駆動設計入門』より
- 16. どこに定義するかより、同じでないものを区別することが先決では? 内包されている「複雑さ」(異なる概念)を型で表現するのが重要 重複しているかもし れないユーザ 重複していないことが 保証されているユーザ 両者は別の概念 (なぜなら定義される 振る舞いが異なる) // ユーザの重複チェック ;「重複しているかもしれないユーザ」にしか適用されない type existsUser = MaybeDuplicatedUser -> UniqueUser // ユーザの登録; 「重複していないことが保証されているユーザ」にしか適用されない type registerUser = UniqueUser -> RegisteredUser Parse don’t validate
- 17. Parse don’t validate https://sporto.github.io/elm-patterns/basic/parse-dont-validate.html Origin:https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ type alias UserInput = { name: Maybe String , age: Maby Int } isValidUser : UserInput -> Bool このようなバリデータだけが用意されていると、UserInput型のデータはバリデートが済 んでも、invalidな値を保持している可能性がある。 実際に、これが元で過去いくつもの脆弱性が発生している。 http://langsec.org/papers/langsec-cwes-secdev2016.pdf
- 18. type alias UserInput= { name: Maybe String , age: Maby Int } type alias ValidUser = { name: String , age: Int } validateUser : UserInput -> Result String ValidUser バリデート済みであることを型によって保証する。 なので、バリデートはBooleanを返すのではなく、バリデーション済みの型にParseして返す
- 19. Type Safety Backand Forth https://www.parsonsmatt.org/2017/10/11/type_safety_back_and_forth.html 失敗可能性を後ろへ 失敗可能性を前へ (こっちの方がいいよね、という話) 入力を型によって制約保証す る。
- 20. Domain Modeling MadeFunctional https://www.slideshare.net/ScottWlaschin/domain-modeling-made-functional-devternity-2022
- 21.
- 22.
- 23. まとめ ● トリレンマにしたがい完全+純粋、純粋+性能、完全+性能な手段が考えら れる。 ● 1つのやり方に執着しすぎると、悪魔に取り憑かれるので注意しよう。 ●そもそもドメインにまつわる「複雑さ」は明らかにできているのか?