20250116 関数型DDD 2

Transcript

1. ؔ਺ܕDDD 2
2. લճ
3. ίϯύΠϧ=ςετ
4. ؔ਺
5. δΣωϦοΫܕ
6. ܕͷ߹੒
7. type Sample = { | a: ٻ৬ऀͷform; | b: ࠾༻୲౰ͷform; };
8. ଓ͖
9. ୯७ܕ
10. બ୒ࢶ͕Ұ͔ͭ͠ͳ͍
11. type ProductCode = | ProductCode of string
12. type ProductCode = ProductCode of string
13. TypeScript
14. type ProductCode = string; ܕ҆શ΋Ϋι΋ͳ͍
15. ύλʔϯ2 ϒϥϯυܕ
16. ͷલʹ
17. TypeScriptͷܕʹ͍ͭͯ
18. type UserId = string; type ItemId = string;
19. ͜Ε͸Ұॹͷܕͱͯ͠ ѻΘΕΔ
20. ߏ଄͕ҰॹͳΒ ΤϥʔͰͳ͍
23. type Test = string & { __brand: Teee }
24. ͜ΕͰผͷܕʹͳΔ
25. type ProductCode = string & { readonly __brand: unique symbol };
26. type ProductCode = string & { readonly __brand: unique symbol }; type SubCode = string & { readonly __brand: unique symbol }; const product: ProductCode = "ABC123" as ProductCode; const sub: SubCode = "DEF456" as SubCode; // Τϥʔ͕ൃੜ const productSub: ProductCode = sub;
27. جຊతʹ͜Ε͸stringͳͷͰ ϥϯλΠϜͰ͸Τϥʔͳ͠
28. ϒϥϯυܕ ίϯύΠϧ࣌ɿΤϥʔ ϥϯλΠϜɿΤϥʔͰͳ͍
29. ύλʔϯ3
30. type ProductCode = { Type: "ProductCode"; value: string; };
31. ίϯύΠϧ࣌ɿΤϥʔ ϥϯλΠϜɿΤϥʔ
32. ܕ͝ͱʹॲཧΛ෼͚͍ͨ
33. function handleCode(code: ProductCode | SubCode) { if (code.tag === "ProductCode") { console.log("ProductCode: " + code.value); } else if (code.tag === "SubCode") { console.log("SubCode: " + code.value); } }
34. Ͳ͕͍͍ͬͪͷ͔