TypeScript 状态管理类型安全：Zustand、Redux Toolkit 与 Immer
系统覆盖前端状态管理在 TypeScript 下的类型安全实践：单一数据源与状态分层建模、Zustand 的 create 类型推导与 selector 优化、Redux Toolkit 的 createSlice 自动类型生成、Immer 不可变更新的类型安全、异步状态（loading/error/data）的判别联合建模、跨模块共享类型契约与派生选择器，以及大型应用的状态边界设计，帮助开发者写出「类型即文档、重构不破胆」的状态层。