第 6 章:用型別排除非法狀態(進階選讀)

最近更新日期

2026年10月9日

本章大綱

  • 6.1 單一 record 何時開始不夠用
  • 6.2 用 union 與狀態型別表達訂單生命週期
    • 轉換簽名也會變得更精確
    • 型別不能取代所有驗證
  • 6.3 用 pattern matching 處理 union
    • Union 還是 closed hierarchy?
  • 6.4 Union 狀態模型帶來的成本
    • 型別和 mapping 數量增加
    • 新增操作和新增狀態的成本不同
    • 框架整合仍需要邊界模型
  • 6.5 何時值得使用
  • 6.6 漸進遷移,不要一次改完
  • 6.7 本章回顧

本章未開放免費試讀,請購買本書以立即閱讀完整版。

購買本書