20250624 関数型DDD 13

Transcript

1. DDD
2. ResultͷϦετ
3. ݱࡏͷϦετ
5. ΍Γํʢskipʣ
7. reduceRight͸ޙΖ͔Βॲཧ
8. ඇಉظ
9. ResultͱҰॹ
10. AsyncResultΛ࡞ͬͯ͋͛Δ type CheckAddressExists = UnvalidatedAddress -> AsyncResult<CheckedAddress, AddressValidationError>
11. γϦΞϥΠζ
13. Result let workflowWithSerialization jsonString = jsonString |> deserializeInputDto // JSON͔ΒDTO΁ |> inputDtoToDomain // DTO͔ΒυϝΠϯΦϒδΣΫτ΁ |> workflow // υϝΠϯͷίΞϫʔΫϑϩʔ |> outputDtoFromDomain // υϝΠϯΦϒδΣΫτ͔ΒDTO΁ |> serializeOutputDto // DTO͔ΒJSON΁ // ࠷ऴग़ྗ͸ผͷJsonString
14. λϓϧ
15. /// ରԠ͢ΔDTOܕ type SuitDto = Heart = 1 | Spade = 2 | Diamond = 3 | Club = 4 type RankDto = Ace = 1 | Two = 2 | Queen = 12 | King = 13 type CardDto = { Suit : SuitDto Rank : RankDto_attachment }
16. બ୒ܕ
17. type Example = | A | B of int | C of string list | D of Name type ExampleDto = { Tag : string // "A", "B", "C", "D" ͷ͍ͣΕ͔1ͭ // έʔεA͸σʔλແ͠ BData : Nullable<int> // έʔεBͷσʔλ CData : string[] // έʔεCͷσʔλ DData : NameDto // έʔεDͷσʔλ }
18. ӬଓԽ
19. ୺ʹ௥͍΍Ζ͏
20. Ͳ͏΍ͬͯʁ
21. // υϝΠϯϩδοΫͱI/O͕ࠞࡏ͢ΔϫʔΫϑϩʔ let payInvoice invoiceId payment = // DB͔ΒಡΈࠐΉ let invoice = loadInvoiceFromDatabase(invoiceId) // ࢧ෷͍Λద༻͢Δ invoice.ApplyPayment(payment) // ҟͳΔ݁ՌΛॲཧ͢Δ if invoice.IsFullyPaid then markAsFullyPaidInDb(invoiceId) postInvoicePaidEvent(invoiceId) else markAsPartiallyPaidInDb(invoiceId)
22. // ڥք͚ͮΒΕͨίϯςΩετͷ୺ʹ͋ΔίϚϯυϋϯυϥʔ let payInvoice payInvoiceCommand = // DB͔ΒಡΈࠐΉ let invoiceId = payInvoiceCommand.InvoiceId let unpaidInvoice = loadInvoiceFromDatabase invoiceId // I/O // ७ਮͳυϝΠϯͰͷݺͼग़͠ let payment = payInvoiceCommand.Payment // ७ਮ let paymentResult = applyPayment unpaidInvoice payment // ७ਮ // ݁ՌΛॲཧ match paymentResult with | FullyPaid -> markAsFullyPaidInDb invoiceId // I/O postInvoicePaidEvent invoiceId // I/O | PartiallyPaid updatedInvoice -> updateInvoiceInDb updatedInvoice // I/O
23. 1,2ͱ͔Ҿ͖౰ͯΔ