ビジネスロジックを「型」で表現するOOPのための関数型DDD / Functional And Type-Safe DDD for OOP

by YuitoSato

Slide 1

Slide 1 text

Slide 2

Slide 2 text

Slide 3

Slide 3 text

Slide 4

Slide 4 text

Slide 5

Slide 5 text

Slide 6

Slide 6 text

Slide 7

Slide 7 text

Slide 8

Slide 8 text

Slide 9

Slide 9 text

9 ©2024 Loglass Inc. アジェンダ 1. はじめに a. 関数型DDDとは？ b. ビジネスロジックを型で表現できると何がいいの？ c. オブジェクト指向と関数型 2. DDDってなんだっけ？ a. DDDのモデリング b. DDDの実装パターン 3. 実践と3つのテクニック a. モデルの状態を代数的データ型で表現する b. モデルの状態遷移を型と全域関数で表現する c. ロジック内のDBアクセスを高階関数で表現する 4. まとめ

Slide 10

Slide 10 text

10 ©2024 Loglass Inc. アジェンダ 1. はじめに a. 関数型DDDとは？ b. ビジネスロジックを型で表現できると何がいいの？ c. オブジェクト指向と関数型 2. DDDってなんだっけ？ a. DDDのモデリング b. DDDの実装パターン 3. 実践と3つのテクニック a. モデルの状態を代数的データ型で表現する b. モデルの状態遷移を型と全域関数で表現する c. ロジック内のDBアクセスを高階関数で表現する 4. まとめ

Slide 11

Slide 11 text

Slide 12

Slide 12 text

12 ©2024 Loglass Inc. Domain-driven design (DDD) combined with functional programming is the innovative combo that will get you there. In this pragmatic, down-to-earth guide, you'll see how applying the core principles of functional programming can result in software designs that model real-world requirements both elegantly and concisely - often more so than an object-oriented approach. —『Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F#』Scott Wlaschin著訳）ドメイン駆動設計 (DDD)と関数型プログラミングを組み合わせることで、革新的なソフトウェア設計を実現することができます。この実用的で実践的なガイドでは、関数型プログラミングの中核となる原則を適用することで、実世界の要求をエレガントかつ簡潔にモデル化するソフトウェア設計が、オブジェクト指向のアプローチよりも実現できることを説明します。関数型DDDとは？

Slide 13

Slide 13 text

Slide 14

Slide 14 text

14 ©2024 Loglass Inc. ビジネスロジックを型で表現できると何がいいの？ - 実装ミスがコンパイルフェーズで検知できるようになる - 例）完了ステータスのタスクのみ完了日時を持つよくある書き方 class Task { val title: String val status: TaskStatus val completedAt: LocalDateTime? // 中略 } enum class TaskStatus { InProgress, Completed } val task = Task("買い物", TaskStatus.InProgress, null) val task = Task( "買い物", TaskStatus.Completed, LocalDateTime.now(), ) ⚠以降のコードは基本Kotlinで記述します。なるべく多くの人がわかるよう Kotlinぽい書き方は意図的に避けています。

Slide 15

Slide 15 text

15 ©2024 Loglass Inc. ビジネスロジックを型で表現できると何がいいの？ class Task { val title: String val status: TaskStatus val completedAt: LocalDateTime? // 中略 } enum class TaskStatus { InProgress, Completed } よくある書き方 val task = Task("買い物", TaskStatus.InProgress, null) val task = Task( "買い物", TaskStatus.Completed, LocalDateTime.now(), ) // NG: 進行中なのに完了時刻持ち val task = Task( "買い物", TaskStatus.InProgress, LocalDateTime.now() ); - 実装ミスがコンパイルフェーズで検知できるようになる - 例）完了ステータスのタスクのみ完了日時を持つ

Slide 16

Slide 16 text

16 ©2024 Loglass Inc. ビジネスロジックを型で表現できると何がいいの？ constructor(title: String, status: TaskStatus, completedAt: LocalDateTime?) { if (status == TaskStatus.InProgress && completedAt != null) { throw IllegalArgumentException("進行中のタスクに完了時刻を持たせることはできません ") } this.title = title this.status = status this.completedAt = completedAt } - 実装ミスがコンパイルフェーズで検知できるようになる - 例）完了ステータスのタスクのみ完了日時を持つ

Slide 17

Slide 17 text

17 ©2024 Loglass Inc. ビジネスロジックを型で表現できると何がいいの？ - 実装ミスがコンパイルフェーズで検知できるようになる - 例）完了ステータスのタスクのみ完了日時を持つ →constructorで縛りをつける class CompletedTask { val title: String val completedAt: LocalDateTime // 中略 } class InProgressTask { val title: String // 中略 } 完了済みタスクというクラスを作る val task = InProgressTask("買い物"); val task = CompletedTask( "買い物", LocalDateTime.now() ); // コンパイルエラー val task = InProgressTask( "買い物", LocalDateTime.now() );

Slide 18

Slide 18 text

Slide 19

Slide 19 text

Slide 20

Slide 20 text

Slide 21

Slide 21 text

Slide 22

Slide 22 text

Slide 23

Slide 23 text

Slide 24

Slide 24 text

Slide 25

Slide 25 text

Slide 26

Slide 26 text

Slide 27

Slide 27 text

Slide 28

Slide 28 text

Slide 29

Slide 29 text

Slide 30

Slide 30 text

30 ©2024 Loglass Inc. アジェンダ 1. はじめに a. 関数型DDDとは？ b. ビジネスロジックを型で表現できると何がいいの？ c. オブジェクト指向と関数型 2. DDDってなんだっけ？ a. DDDのモデリング b. DDDの実装パターン 3. 実践と3つのテクニック a. モデルの状態を代数的データ型で表現する b. モデルの状態遷移を型と全域関数で表現する c. ロジック内のDBアクセスを高階関数で表現する 4. まとめ

Slide 31

Slide 31 text

Slide 32

Slide 32 text

Slide 33

Slide 33 text

Slide 34

Slide 34 text

Slide 35

Slide 35 text

Slide 36

Slide 36 text

Slide 37

Slide 37 text

37 ©2024 Loglass Inc. アジェンダ 1. はじめに a. 関数型DDDとは？ b. ビジネスロジックを型で表現できると何がいいの？ c. オブジェクト指向と関数型 2. DDDってなんだっけ？ a. DDDのモデリング b. DDDの実装パターン 3. 実践と3つのテクニック a. モデルの状態を代数的データ型で表現する b. モデルの状態遷移を型と全域関数で表現する c. ロジック内のDBアクセスを高階関数で表現する 4. まとめ

Slide 38

Slide 38 text

Slide 39

Slide 39 text

Slide 40

Slide 40 text

Slide 41

Slide 41 text

Slide 42

Slide 42 text

Slide 43

Slide 43 text

Slide 44

Slide 44 text

Slide 45

Slide 45 text

Slide 46

Slide 46 text

Slide 47

Slide 47 text

47 ©2024 Loglass Inc. アジェンダ 1. はじめに a. 関数型DDDとは？ b. ビジネスロジックを型で表現できると何がいいの？ c. オブジェクト指向と関数型 2. DDDってなんだっけ？ a. DDDのモデリング b. DDDの実装パターン 3. 実践と3つのテクニック a. モデルの状態を代数的データ型で表現する b. モデルの状態遷移を型と全域関数で表現する c. ロジック内のDBアクセスを高階関数で表現する 4. まとめ

Slide 48

Slide 48 text

Slide 49

Slide 49 text

Slide 50

Slide 50 text

50 ©2024 Loglass Inc. 注文の状態をEnumで実装すると class Order { val orderId: OrderId, val customerId: CustomerId, val shippingAddress: Address, val lines: List, val status: OrderStatus, val confirmedAt: LocalDateTime?, val cancelledAt: LocalDateTime?, val cancelReason: String?, val shippingStartedAt: LocalDateTime?, val shippedBy: ShipperId?, val scheduledArrivalDate: LocalDate?, } enum class OrderStatus { UNCONFIRMED, CONFIRMED, CANCELLED, SHIPPING, }

Slide 51

Slide 51 text

51 ©2024 Loglass Inc. class Order { val orderId: OrderId, val customerId: CustomerId, val shippingAddress: Address, val lines: List, val status: OrderStatus, val confirmedAt: LocalDateTime?, val cancelledAt: LocalDateTime?, val cancelReason: String?, val shippingStartedAt: LocalDateTime?, val shippedBy: ShipperId?, val scheduledArrivalDate: LocalDate?, } enum class OrderStatus { UNCONFIRMED, CONFIRMED, CANCELLED, SHIPPING, } nullableなものが多くなる。状態によっては必須な項目がある。データ不整合が起きる可能性がある。注文の状態をEnumで実装すると

Slide 52

Slide 52 text

Slide 53

Slide 53 text

53 ©2024 Loglass Inc. constructor( orderId: OrderId, …, status: OrderStatus, cancelledAt: LocalDateTime?, cancelReason: String?, ... ) { if (status != OrderStatus.CANCELLED) { if (cancelledAt != null && cancelReason != null) { throw IllegalArgumentException("キャンセル理由、キャンセル日時はキャンセル済みの場合のみ持てます ") } } this.orderId = orderId … } データ不整合をガードするコードを書かないといけない注文の状態をEnumで実装すると

Slide 54

Slide 54 text

54 ©2024 Loglass Inc. constructor( orderId: OrderId, …, status: OrderStatus, cancelledAt: LocalDateTime?, cancelReason: String?, ... ) { if (status != OrderStatus.CANCELLED) { if (cancelledAt != null && cancelReason != null) { throw IllegalArgumentException("キャンセル理由、キャンセル日時はキャンセル済みの場合のみ持てます ") } } this.orderId = orderId … } ちなみにここ実装ミスしてます注文の状態をEnumで実装すると

Slide 55

Slide 55 text

55 ©2024 Loglass Inc. constructor( orderId: OrderId, …, status: OrderStatus, cancelledAt: LocalDateTime?, cancelReason: String?, ... ) { if (status != OrderStatus.CANCELLED) { if (cancelledAt != null || cancelReason != null) { throw IllegalArgumentException("キャンセル理由、キャンセル日時はキャンセル済みの場合のみ持てます ") } } this.orderId = orderId … } 注文の状態をEnumで実装すると

Slide 56

Slide 56 text

Slide 57

Slide 57 text

Slide 58

Slide 58 text

58 ©2024 Loglass Inc. 完全に別クラスとして定義する class UnconfirmedOrder( val orderId: OrderId, val customerId: CustomerId, val shippingAddress: Address, val lines: NonEmptyList, ) class ConfirmedOrder( val orderId: OrderId, // 中略 val confirmedAt: LocalDateTime, ) class CancelledOrder( val orderId: OrderId, // 中略 val confirmedAt: LocalDateTime, val cancelledAt: LocalDateTime, val cancelReason: String?, ) class ShippingOrder( val orderId: OrderId, // 中略 val confirmedAt: LocalDateTime, val shippingStartedAt: LocalDateTime, val shippedBy: ShipperId, val scheduledArrivalDate: LocalDate, )

Slide 59

Slide 59 text

Slide 60

Slide 60 text

Slide 61

Slide 61 text

Slide 62

Slide 62 text

Slide 63

Slide 63 text

63 ©2024 Loglass Inc. 直積集合について - A × B = { (a,b) ∣ a ∈ A, b ∈ B } （=AかつB） - 要するに構造体（Class） (1, “あ”) (1, “い”) (1, “う”) (2, “あ”) (2, “い”) (2, “う”) (3, “あ”) (3, “い”) (3, “う”) A: 1, 2, 3, B: “あ”, “い”, ‘う“ A ✖ B class CancelledOrder( val orderId: OrderId, // 中略 val cancelledAt: LocalDateTime, val cancelReason: String?, ) CancelledOrder = OrderId × LocalDateTime × String

Slide 64

Slide 64 text

64 ©2024 Loglass Inc. 直和集合について - A ⊕ B= A ∪ B ただし A ∩ B = {0} （=AまたはBだけどAとBは被らない） - オブジェクト指向言語の一部では sealed節（継承できる範囲を限定）を使うことで実現 A B A ⊕ B sealed interface Order { class UnconfirmedOrder : Order class ConfirmedOrder : Order class CancelledOrder : Order class ShippingOrder : Order } Order = Unconfirmed ⊕ Confirmed ⊕ Cancelled ⊕ Shipping

Slide 65

Slide 65 text

65 ©2024 Loglass Inc. 直和集合について - A ⊕ B= A ∪ B ただし A ∩ B = {0} （=AまたはBだけどAとBは被らない） - TypeScriptとかの方が直感的かもしれない type Order = UnconfirmedOrder | ConfirmedOrder | CancelledOrder | ShippingOrder; class UnconfirmedOrder {} class ConfirmedOrder {} class CancelledOrder {} class ShippingOrder {}

Slide 66

Slide 66 text

Slide 67

Slide 67 text

67 ©2024 Loglass Inc. 代数的データ型 = 直積集合と直和集合の掛け合わせ Unconfirmed = (...) Confirmed = (...) Cancelled = ( OrderId × … × LocalDateTime × String ) Order = Unconfirmed(...) ⊕ Confirmed(...) ⊕ Cancelled(...) ⊕ Shipping(...) Shipping = (...)

Slide 68

Slide 68 text

Slide 69

Slide 69 text

Slide 70

Slide 70 text

Slide 71

Slide 71 text

71 ©2024 Loglass Inc. 代数的データ型を使って Orderを再実装 sealed interface Order { val orderId: OrderId val customerId: CustomerId val shippingAddress: Address val lines: List class UnconfirmedOrder( override val …, ) : Order class ConfirmedOrder( …, val confirmedAt: LocalDateTime, ) : Order class CancelledOrder( …, val confirmedAt: LocalDateTime, val cancelledAt: LocalDateTime, val cancelReason: String?, ) : Order class ShippingOrder( …, val confirmedAt: LocalDateTime, val shippingStartedAt: LocalDateTime, val shippedBy: ShipperId, val scheduledArrivalDate: LocalDate, ) : Order }

Slide 72

Slide 72 text

72 ©2024 Loglass Inc. 代数的データ型を使って Orderを再実装 sealed interface Order { val orderId: OrderId val customerId: CustomerId val shippingAddress: Address val lines: List class UnconfirmedOrder( override val …, ) : Order class ConfirmedOrder( …, val confirmedAt: LocalDateTime, ) : Order class CancelledOrder( …, val confirmedAt: LocalDateTime, val cancelledAt: LocalDateTime, val cancelReason: String?, ) : Order class ShippingOrder( …, val confirmedAt: LocalDateTime, val shippingStartedAt: LocalDateTime, val shippedBy: ShipperId, val scheduledArrivalDate: LocalDate, ) : Order } データ不整合がなくなった

Slide 73

Slide 73 text

73 ©2024 Loglass Inc. val order = ShippingOrder( ..., cancelReason = "壊れていた", ) => コンパイルエラー代数的データ型を使って Orderを再実装 class CancelledOrder( …, val confirmedAt: LocalDateTime, val cancelledAt: LocalDateTime, val cancelReason: String?, ) : Order class ShippingOrder( …, val confirmedAt: LocalDateTime, val shippingStartedAt: LocalDateTime, val shippedBy: ShipperId, val scheduledArrivalDate: LocalDate, ) : Order } ShippingOrderは cancelReasonを持っていないのでコンパイルエラー

Slide 74

Slide 74 text

74 ©2024 Loglass Inc. - 網羅性も担保される fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return when (this) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません ") is ConfirmedOrder -> CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません ") is ShippingOrder -> throw Exception("発送済みの注文はキャンセルできません ") } } 代数的データ型を使って Orderを再実装

Slide 75

Slide 75 text

75 ©2024 Loglass Inc. - 網羅性も担保される fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return when (this) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません ") is ConfirmedOrder -> CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません ") is ShippingOrder -> throw Exception("発送済みの注文はキャンセルできません ") } } 代数的データ型を使って Orderを再実装 else説がいらない

Slide 76

Slide 76 text

76 ©2024 Loglass Inc. - 網羅性も担保される fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return when (this) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません ") is ConfirmedOrder -> CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません ") // is ShippingOrder -> throw Exception("発送済みの注文はキャンセルできません ") } } 代数的データ型を使って Orderを再実装分岐が足りなければコンパイルエラー

Slide 77

Slide 77 text

Slide 78

Slide 78 text

Slide 79

Slide 79 text

Slide 80

Slide 80 text

Slide 81

Slide 81 text

81 ©2024 Loglass Inc. 普通に書くと sealed interface Order { fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return when (this) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません ") is ConfirmedOrder -> CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません ") is ShippingOrder -> throw Exception("発送済みの注文はキャンセルできません ") } } }

Slide 82

Slide 82 text

82 ©2024 Loglass Inc. sealed interface Order { fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return when (this) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません ") is ConfirmedOrder -> CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません ") is ShippingOrder -> throw Exception("発送済みの注文はキャンセルできません ") } } } 4ケースのテストが必要普通に書くと

Slide 83

Slide 83 text

83 ©2024 Loglass Inc. 普通に書くと sealed interface Order { fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return when (this) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません ") is ConfirmedOrder -> CancelledOrder(...) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません ") is ShippingOrder -> CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) } } } 実装ミスしてしまう

Slide 84

Slide 84 text

84 ©2024 Loglass Inc. どうするか？ - そもそも ConfirmedOrderのメソッドとして定義すればよい class ConfirmedOrder(...) : Order { fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) } }

Slide 85

Slide 85 text

85 ©2024 Loglass Inc. Orderクラス全体 sealed interface Order { ... class UnconfirmedOrder(...) : Order { fun confirm(now: LocalDateTime): ConfirmedOrder } class ConfirmedOrder(...) : Order { fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder {...} fun startShipping(shipperId: ShipperId, now: LocalDateTime): ShippingOrder {...} } class CancelledOrder(...) : Order class ShippingOrder(...) : Order }

Slide 86

Slide 86 text

86 ©2024 Loglass Inc. 呼び出し元 class CancelOrderUseCase( private val orderRepository: OrderRepository, ) { fun execute(orderId: OrderId, cancelReason: String?) { val order = orderRepository.findById(orderId) ?: throw Exception("注文が見つかりませんでした。ID: ${orderId.value}") val now = LocalDateTime.now() when (order) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません") is ConfirmedOrder -> order.cancel(cancelReason, now) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません") is ShippingOrder -> throw Exception("発送済みの注文はキャンセルできません") } } }

Slide 87

Slide 87 text

87 ©2024 Loglass Inc. 呼び出し元 class CancelOrderUseCase( private val orderRepository: OrderRepository, ) { fun execute(orderId: OrderId, cancelReason: String?) { val order = orderRepository.findById(orderId) ?: throw Exception("注文が見つかりませんでした。ID: ${orderId.value}") val now = LocalDateTime.now() when (order) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません") is ConfirmedOrder -> order.cancel(cancelReason, now) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません") is ShippingOrder -> order.cancel(cancelReason, now) } } } ShippingOrderにはcancelメソッドがないのでコンパイルエラー

Slide 88

Slide 88 text

88 ©2024 Loglass Inc. 呼び出し元 class CancelOrderUseCase( private val orderRepository: OrderRepository, ) { fun execute(orderId: OrderId, cancelReason: String?) { val order = orderRepository.findById(orderId) ?: throw Exception("注文が見つかりませんでした。ID: ${orderId.value}") val now = LocalDateTime.now() when (order) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません") is ConfirmedOrder -> order.cancel(cancelReason, now) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません") is ShippingOrder -> throw Exception("発送済みの注文はキャンセルできません") } } } 結局呼び出し元に押し付けただけでは？ 🤔 これ意味あるの？

Slide 89

Slide 89 text

Slide 90

Slide 90 text

Slide 91

Slide 91 text

91 ©2024 Loglass Inc. ルールとハンドリングを分けて考える確定済みの場合のみ注文をキャンセルできる - 未確定の場合は「未確定の注文はキャンセルできません」と返す。 - 確定済みの場合のみ注文をキャンセルする。 - キャンセル済みの場合は「すでにキャンセル済みです」と返す - 発送済みの場合は「発送済みの注文はキャンセルできません」と返すルールのみを抽出ルールのみを抽出ルールハンドリング class ConfirmedOrder(...) : Order { fun cancel( cancelReason: String?, now: LocalDateTime ): CancelledOrder {...} } when (order) { is UnconfirmedOrder -> throw Exception("未確定の注文は ~") is ConfirmedOrder -> order.cancel(cancelReason, now) is CancelledOrder -> throw Exception("キャンセル済みの注文は ~") is ShippingOrder -> throw Exception("発送済みの注文は ~") }

Slide 92

Slide 92 text

Slide 93

Slide 93 text

93 ©2024 Loglass Inc. ルールとハンドリングを分けて考えるルールの適用ハンドリング class ConfirmedOrder(...) : Order { fun cancel( cancelReason: String?, now: LocalDateTime ): CancelledOrder {...} } when (order) { is UnconfirmedOrder -> throw Exception("未確定の注文は ~") is ConfirmedOrder -> order.cancel(cancelReason, now) is CancelledOrder -> throw Exception("キャンセル済みの注文は ~") is ShippingOrder -> throw Exception("発送済みの注文は ~") }

Slide 94

Slide 94 text

94 ©2024 Loglass Inc. ルールとハンドリングを分けて考えるルールの適用ハンドリング class ConfirmedOrder(...) : Order { fun cancel( cancelReason: String?, now: LocalDateTime ): CancelledOrder {...} } when (order) { is UnconfirmedOrder -> throw Exception("未確定の注文は ~") is ConfirmedOrder -> order.cancel(cancelReason, now) is CancelledOrder -> throw Exception("キャンセル済みの注文は ~") is ShippingOrder -> throw Exception("発送済みの注文は ~") } ルール違反をどう伝えるか？

Slide 95

Slide 95 text

Slide 96

Slide 96 text

Slide 97

Slide 97 text

Slide 98

Slide 98 text

Slide 99

Slide 99 text

99 ©2024 Loglass Inc. 関数の全域性 / 全域関数（Totality / Total Functions）とは？ A mathematical function links each possible input to an output. In functional programming we try to design our functions the same way, so that every input has a corresponding output. These kinds of functions are called total functions. —『Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F#』Scott Wlaschin著訳）数学の関数は、可能性のある各入力を出力に結びつけます。関数型プログラミングでは、すべての入力が対応する出力を持つように、同じように関数を設計しようとします。このような関数は全域関数と呼ばれます。

Slide 100

Slide 100 text

Slide 101

Slide 101 text

Slide 102

Slide 102 text

Slide 103

Slide 103 text

103 ©2024 Loglass Inc. 全域関数ではない関数の例 : 割り算 - ある0ではない整数を受け取ってその整数で 12を割る関数→全域関数 - 0ではない整数という型を作る class NonZeroInt(val value: Int) { init { if (value == 0) { throw Exception("NonZeroInt は 0 以外の値を持つ必要があります ") } } } fun divide12By(denominator: NonZeroInt): Int { return 12 / denominator.value } val result = divide12By(0) => コンパイルエラー val result = divide12By(NonZeroInt(3)) => 4

Slide 104

Slide 104 text

Slide 105

Slide 105 text

Slide 106

Slide 106 text

Slide 107

Slide 107 text

Slide 108

Slide 108 text

108 ©2024 Loglass Inc. 注文のキャンセルに話を戻す - 全域関数ではなかった関数を sealed interface Order { fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return when (this) { is UnconfirmedOrder -> throw Exception("未確定の注文はキャンセルできません") is ConfirmedOrder -> CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) is CancelledOrder -> throw Exception("キャンセル済みの注文はキャンセルできません") is ShippingOrder -> throw Exception("発送済みの注文はキャンセルできません") } } }

Slide 109

Slide 109 text

109 ©2024 Loglass Inc. 注文のキャンセルに話を戻す - 全域関数ではなかった関数を全域関数にしていたということでした class ConfirmedOrder(...) : Order { fun cancel(cancelReason: String?, now: LocalDateTime): CancelledOrder { return CancelledOrder( ..., cancelledAt = now, cancelReason = cancelReason, ) } }

Slide 110

Slide 110 text

Slide 111

Slide 111 text

Slide 112

Slide 112 text

Slide 113

Slide 113 text

Slide 114

Slide 114 text

Slide 115

Slide 115 text

Slide 116

Slide 116 text

Slide 117

Slide 117 text

117 ©2024 Loglass Inc. どうするか？ class UnconfirmedOrder(...) { companion object { // Kotlinのstatic method記法 fun create( customerId: CustomerId, // ユーザー入力 shippingAddress: CreateAddressParam, // ユーザー入力 lines: List, // ユーザー入力 products: List, ): UnconfirmedOrder { ... } } } - 注文明細で参照している商品を作成時に渡す？

Slide 118

Slide 118 text

118 ©2024 Loglass Inc. どうするか？ class UnconfirmedOrder(...) { companion object { // Kotlinのstatic method記法 fun create( customerId: CustomerId, // ユーザー入力 shippingAddress: CreateAddressParam, // ユーザー入力 lines: List, // ユーザー入力 products: List, ): UnconfirmedOrder { ... } } } - 注文明細で参照している商品を作成時に渡す？システム内の全ての商品を渡す？このproducts引数に今回欲しい商品が全て渡されている保証はどうするか？

Slide 119

Slide 119 text

119 ©2024 Loglass Inc. どうするか？ class UnconfirmedOrder( private val productRepository: ProductRepository // DI ) { companion object { // Kotlinのstatic method記法 fun create( customerId: CustomerId, // ユーザー入力 shippingAddress: CreateAddressParam, // ユーザー入力 lines: List, // ユーザー入力 ): UnconfirmedOrder { val products = productRepository.listBy(...) … } } - ProductRepositoryをDIする？

Slide 120

Slide 120 text

120 ©2024 Loglass Inc. どうするか？ class UnconfirmedOrder( private val productRepository: ProductRepository // DI ) { companion object { // Kotlinのstatic method記法 fun create( customerId: CustomerId, // ユーザー入力 shippingAddress: CreateAddressParam, // ユーザー入力 lines: List, // ユーザー入力 ): UnconfirmedOrder { val products = productRepository.listBy(...) … } } - ProductRepositoryをDIする？ ProductRepositoryの全てに依存してしまユニットテストが書きづらくなる。

Slide 121

Slide 121 text

121 ©2024 Loglass Inc. どうするか？ class UnconfirmedOrder(...) { companion object { // Kotlinのstatic method記法 fun create( customerId: CustomerId, // ユーザー入力 shippingAddress: CreateAddressParam, // ユーザー入力 lines: List, // ユーザー入力 getProduct: (ProductId) -> Product?, ): UnconfirmedOrder { … } } } - 商品を取得するロジックを関数で注入してしまう（高階関数）依存を最小限にしつつ、注文作成時に欲しい商品を確実時に取得できる

Slide 122

Slide 122 text

122 ©2024 Loglass Inc. どうするか？ class CreateOrderUseCase( private val productRepository: ProductRepository, private val orderRepository: OrderRepository, ) { fun execute(param: CreateOrderParam) { val order = Order.UnconfirmedOrder .create( param.customerId, param.shippingAddress, param.lines, { productId -> productRepository.findById(productId) }, ) orderRepository.insert(order) } } - 呼び出し元 class UnconfirmedOrder(...) { companion object { fun create( customerId: CustomerId, shippingAddress: CreateAddressParam, lines: List, getProduct: (ProductId) -> Product?, ): UnconfirmedOrder { … } } }

Slide 123

Slide 123 text

123 ©2024 Loglass Inc. どうするか？ class CreateOrderUseCase( private val productRepository: ProductRepository, private val orderRepository: OrderRepository, ) { fun execute(param: CreateOrderParam) { val order = Order.UnconfirmedOrder .create( param.customerId, param.shippingAddress, param.lines, { productId -> productRepository.findById(productId) }, ) orderRepository.insert(order) } } - 呼び出し元注文に対して複数の商品が必要なので N+1問題発生するのでは？

Slide 124

Slide 124 text

124 ©2024 Loglass Inc. どうするか？ class CreateOrderUseCase( private val productRepository: ProductRepository, private val orderRepository: OrderRepository, ) { fun execute(param: CreateOrderParam) { val targetProductIds = param.lines.map { line -> line.productId } val targretProducts = productRepository.listByIds(targetProductIds) val order = Order.UnconfirmedOrder .create( …, { productId -> targetProducts.find { product -> product.id == productId } } ) orderRepository.insert(order) } } - 呼び方を工夫すればよい - getProduct内の処理をどう注入するかは自由

Slide 125

Slide 125 text

125 ©2024 Loglass Inc. どうするか？ class CreateOrderUseCase( private val productRepository: ProductRepository, private val orderRepository: OrderRepository, ) { fun execute(param: CreateOrderParam) { val targetProductIds = param.lines.map { line -> line.productId } val targretProducts = productRepository.listByIds(targetProductIds) val order = Order.UnconfirmedOrder .create( …, { productId -> targetProducts.find { product -> product.id == productId } } ) orderRepository.insert(order) } } - 呼び方を工夫すればよい - getProduct内の処理をどう注入するかは自由 ①: 今回の注文で参照している全ての商品IDのリストを取得

Slide 126

Slide 126 text

126 ©2024 Loglass Inc. どうするか？ class CreateOrderUseCase( private val productRepository: ProductRepository, private val orderRepository: OrderRepository, ) { fun execute(param: CreateOrderParam) { val targetProductIds = param.lines.map { line -> line.productId } val targretProducts = productRepository.listByIds(targetProductIds) val order = Order.UnconfirmedOrder .create( …, { productId -> targetProducts.find { product -> product.id == productId } } ) orderRepository.insert(order) } } - 呼び方を工夫すればよい - getProduct内の処理をどう注入するかは自由 ②: 上で取得した商品IDで今回使いたい商品だけを先に取得

Slide 127

Slide 127 text

127 ©2024 Loglass Inc. どうするか？ class CreateOrderUseCase( private val productRepository: ProductRepository, private val orderRepository: OrderRepository, ) { fun execute(param: CreateOrderParam) { val targetProductIds = param.lines.map { line -> line.productId } val targretProducts = productRepository.listByIds(targetProductIds) val order = Order.UnconfirmedOrder .create( …, { productId -> targetProducts.find { product -> product.id == productId } } ) orderRepository.insert(order) } } - 呼び方を工夫すればよい - getProduct内の処理をどう注入するかは自由 ③: ロジック中に欲しい商品は先読みした商品リストから取得。ここでDBアクセスは発生しない

Slide 128

Slide 128 text

128 ©2024 Loglass Inc. もちろん先読みできない場合もある - その時は最初に余分に読み込み or 都度DBアクセスになる。 - どちらを選択したとしてもドメインモデルのメソッドとしてインターフェースが崩れないのがメリット class UnconfirmedOrder(...) { companion object { fun create( customerId: CustomerId, shippingAddress: CreateAddressParam, lines: List, getProduct: (ProductId) -> Product?, ): UnconfirmedOrder { … } } }

Slide 129

Slide 129 text

129 ©2024 Loglass Inc. 悪用禁止 - 利用はあくまで外部システム、DBの責務でドメイン層に対して隠蔽したいことに制限する - 商品IDで商品をDB内から取得したい - getProductId: (ProductId) -> Product? - 存在する住所なのか外部サービスに確認したい - checkAddressExists: (Address) -> Boolean - 商品作成時に商品コードが DB内で重複しているか確認したい - checkProductCodeDuplicated: (ProductCode) -> Boolean

Slide 130

Slide 130 text

130 ©2024 Loglass Inc. 悪用禁止 - 利用はあくまで外部システム、 DBの責務でドメイン層に対して隠蔽したいことに制限する - ドメイン層の責務を関数で注入しないこと class UnconfirmedOrder(...) { companion object { fun create( customerId: CustomerId, shippingAddress: CreateAddressParam, lines: List, calculatePrice: (ProductId, OrderQuantity) -> Price, ): UnconfirmedOrder { … } } } NG

Slide 131

Slide 131 text

Slide 132

Slide 132 text

Slide 133

Slide 133 text

Slide 134

Slide 134 text

Slide 135

Slide 135 text

Slide 136

Slide 136 text

Slide 137

Slide 137 text

Slide 138

Slide 138 text

138 ©2024 Loglass Inc. 本日話せなかったこと（気になることがあれば質問してください 🙋） - Result、Eitherなどの異常値を型で表現する方法 - 便利だが、標準でサポートしていない言語がほとんどで、多くのプロジェクトでは言語選定から見直す必要があるので本日は割愛。 - Kotlinは標準サポートしていないが良いライブラリがあるのでログラスは部分的に導入しています。 - 引数でとる関数が非同期処理だったらどうすんねん問題 - 先に結果を読み込めるならキャッシュして同期処理にして渡すけど、それが難しいなら関数で渡すのはやめるかも。 - 代数的データ型の永続化方法 - RDBMSなどのスキーマが決まっているタイプはENUMで表現して他テーブルやnullableなカラムを駆使して表現してます。DBのモデルとドメインモデルの変換はインフラ層で行います。 - “Domain Modeling Made Functional” のワークフローなどの関数型DDD特有の概念 - アーキテクチャレベルで変更する必要があるので本日は割愛。ログラスでもやっていません。気になる方はぜひ。