20250213 関数型DDD 4

Transcript

1. ؔ਺ܕDDD
2. લճ
3. ೖग़ྗ͕ෳ਺
4. type PlaceOrderEvents = { AcknowledgmentSent : AcknowledgmentSent OrderPlaced : OrderPlaced BillableOrderPlaced : BillableOrderPlaced } type PlaceOrder = UnvalidatedOrder -> PlaceOrderE
5. type CategorizedMail = | Quote of QuoteForm | Order of OrderForm // etc type CategorizeInboundMail = EnvelopeContents -> CategorizedMail
6. ResultͳͲ·ͱΊ
7. type ValidationResponse<'a> = Async<Result<'a, ValidationError list>> type ValidateOrder = UnvalidatedOrder -> Async<Result<ValidatedOrder, ValidationError list>> type ValidateOrder = UnvalidatedOrder -> ValidationResponse<ValidatedOrder>
9. ࠷ॳ͸ݸผ ޙ൒͸ύΠϓϥΠϯ
10. ౳஋ੑ εΩοϓ
11. ෆมੑ
12. લʑճͷεϥΠυΑΓ
13. ঢ়ଶมԽ
14. ू໿ εΩοϓ
15. ஋ΦϒδΣΫτͷ࡞੒ ߟ͑தεΩοϓ
16. ෆม৚݅
17. ඞͣ໌ࡉ͕ ଘࡏ͠ͳ͚Ε͹͍͚ͳ͍
18. ͜Ε΋ܕͰ
19. type NonEmptyList<'a> = { First : 'a Rest : 'a list }
20. ύΠϓϥΠϯʹ ͍ͯ͜͠͏
21. ϞσϧԽ͢Δ΍ͭ
23. ঢ়ଶͷભҠʹ஫໨
25. Ͳ͏΍Δʁ
26. ͦΕͧΕͷঢ়ଶͷܕΛ࡞ Δ
27. type PricedOrder = { OrderId : ... CustomerInfo : CustomerInfo ShippingAddress : Address BillingAddress : Address // ݕূࡁΈͷ஫จ໌ࡉߦͱ͸ҟͳΔ OrderLines : PricedOrderLine list AmountToBill : BillingAmount }
28. τοϓϨϕϧͰ߹੒
29. type Order = | Unvalidated of UnvalidatedOrder | Validated of ValidatedOrder | Priced of PricedOrder // etc
30. ͜ΕΒͷભҠ͸Ͳ͏͢ Δʁ
31. εςʔτϚγϯ
33. ͳͥ࢖͏ͷ͔
34. • ͦΕͧΕͷঢ়ଶͰड෇ΕΔॲཧΛม͑ΒΕΔ • શͯͷঢ়ଶΛ໌ࣔతʹͰ͖Δ • ى͜Γ͏Δঢ়گΛશͯߟྀʹೖΕΔͱ͍͏ࢥߟ͕ಇ͖΍͍͢
35. F#αϯϓϧ
36. ·ͣܕ
37. type ShoppingCart = | EmptyCart // σʔλແ͠ | ActiveCart of ActiveCartData | PaidCart of PaidCartData
38. εςʔτϚγϯ
39. let addItem cart item = match cart with | EmptyCart -> // ࢦఆ͞ΕͨΞΠςϜͰɺ৽͍͠ΞΫςΟϒͳΧʔτΛ࡞੒ ActiveCart { UnpaidItems = [item] } | ActiveCart { UnpaidItems = existingItems } -> // ࢦఆ͞ΕͨΞΠςϜͱ௥ՃࡁΈͷΞΠςϜͰɺ৽͍͠ΞΫςΟϒͳΧʔτΛ࡞੒ ActiveCart { UnpaidItems = item :: existingItems } | PaidCart _ -> // ແࢹ cart
40. TSʢGPT༷ʣ
42. ৽͍͠Χʔτͷฦ͠ํʹෆຬ ͋Δ͚Ͳ·͋͜Μͳײ͡ʁ