第 6 章:用型別排除非法狀態(進階選讀)
本章大綱
- 6.1 單一 record 何時開始不夠用
- 6.2 用 union 與狀態型別表達訂單生命週期
- 轉換簽名也會變得更精確
- 型別不能取代所有驗證
- 6.3 用 pattern matching 處理 union
- Union 還是 closed hierarchy?
- 6.4 Union 狀態模型帶來的成本
- 型別和 mapping 數量增加
- 新增操作和新增狀態的成本不同
- 框架整合仍需要邊界模型
- 6.5 何時值得使用
- 6.6 漸進遷移,不要一次改完
- 6.7 本章回顧
本章未開放免費試讀,請購買本書以立即閱讀完整版。