20250512 関数型DDD 10

Transcript

1. ؔ਺ܕDDD
2. Τϥʔ
3. ࠓ·Ͱ͸Τϥʔͳ͠ ߟ͑΍͍͢Α͏ʹ
4. Resultܕ
5. ໌͍ࣔͨ͠
6. Τϥʔ΋
7. type CheckAddressExists = UnvalidatedAddress -> CheckedAddress
8. શҬؔ਺ʹ͍ͨ͠…
9. type CheckAddressExists = UnvalidatedAddress -> Result<CheckedAddress, AddressValidationError> and AddressValidationError = | InvalidFormat of string | AddressNotFound of string
10. ΤϥʔΛ෼ྨ
11. υϝΠϯΤϥʔ ϏδωεϓϩηεͷҰ෦ͱ͠ ͯ༧૝͞ΕΔΤϥʔ ྫɿແޮͳ੡඼ίʔυ
12. ύχοΫ ॲཧෆՄೳͳγεςϜΤϥʔ΍ ϓϩάϥϚͷݟམͱ͠ʹΑΔ Τϥʔ ྫɿϝϞϦෆ଍
13. ΠϯϑϥετϥΫ νϟΤϥʔ ωοτϫʔΫλΠϜΞ΢τɺೝ ূࣦഊͳͲ
14. ҟͳΔ࣮૷͕ඞཁ
15. υϝΠϯΤϥʔ υϝΠϯϞσϦϯάʹ૊Έࠐ ΈɺܕγεςϜ಺ʹจॻԽ
16. ύχοΫ ྫ֎Λൃੜͤ͞ɺ࠷্ҐͰิ ଍
17. ΠϯϑϥετϥΫ νϟΤϥʔ ΞʔΩςΫνϟʹΑΔ େମ͸υϝΠϯΤϥʔʹؚΊΔ ํ͕໾ཱͭ ↓ ͲΜͳΤϥʔ͕ى͜Δ͔ߟ͑Δ
18. Τϥʔͷܕ
19. type PlaceOrderError = | ValidationError of string | ProductOutOfStock of ProductCode | RemoteServiceError of RemoteServiceError
20. બ୒ܕ
21. ։ൃͷਐΊͳ͕ΒΤϥʔ έʔεΛ௥Ճ
22. Τϥʔॲཧ
23. ྫ֎ɿ੒ޭύεͷίʔυ ៉ྷ
24. try-catchͳͲͰ൥ࡶ
25. Result͸ʁ
26. ύΠϓϥΠϯ
27. ੒ޭࣦഊͷ2ͭ
28. ͦΕΛઢ࿏Έ͍ͨʹܨ͛ Δ
29. 2τϥοΫϞσϧ మಓࢤ޲ϓϩάϥϛϯά
30. ී௨ೖྗ͕Ұͭ
31. 2ͭͷೖྗΛ࣋ͨͤΔ
32. Ξμϓλʔ