20260828 使用 XState 实现 EffectTS 宣称的特性，并保持 TS 语法
内容提要
本文比较了XState与EffectTS在业务工作流中的工程能力。XState通过显式状态、事件和Actor模型，实现虚拟时间测试、重试、取消、依赖替换、资源清理、可观测性和状态持久化等特性，同时保持普通TypeScript语法。Effect依赖fiber运行时持有续延，而XState将续延展开为数据。两者复杂度位置不同，XState适合UI、订单、支付等流程，无需全面改写为Effect程序。
延伸解读
复杂度转移而非消除
文章指出，XState 与 Effect 都未消除复杂度，只是将其置于不同位置。Effect 将复杂度集中于运行时与类型系统，而 XState 要求开发者将跨异步边界的控制流显式建模为状态与事件。这意味着采用 XState 时，团队需接受更冗长的状态定义和事件设计，但可保留熟悉的 TypeScript 编程模型。选择哪种方案，取决于团队更愿意承担哪种复杂度。
副作用边界是核心纪律
文章强调，无论使用 XState 还是 Effect，要获得可测试、可取消、可重放的行为，副作用必须进入框架可控的边界。XState 中，若在 action 内直接调用 setTimeout 或发起未绑定的 Promise，虚拟时钟与取消机制将失效。因此，团队需严格将 IO 封装为 invoked Actor、delayed transition 或 action implementation，否则工程能力会出现缺口。
持久化与定时任务的限制
文章指出，XState 的 snapshot 持久化不包含已调度的 delayed event。若 Actor 在等待 10 秒的 state 中运行 2 秒后保存并恢复，剩余 8 秒的定时器不会自动恢复。因此，依赖重试、超时或租约的跨进程长流程，需将绝对 deadline 或剩余时间存入 context，恢复后重新计算并登记 delay，或采用独立的持久化调度器。
Q&A
XState 如何实现虚拟时间测试，从而避免真实等待？
XState 通过将延迟建模为状态机中的 after 延迟转换，并允许注入自定义时钟（如 SimulatedClock）来实现虚拟时间测试。测试时，可以使用 TestClock 的 increment 方法推进虚拟时间，而无需真实等待。例如，对于指数退避，可以逐次推进 1、2、4、8、16 秒，快速验证完整流程。
XState 如何实现异步任务的取消？
XState 通过将异步任务建模为 invoked Actor，并在离开状态时自动停止该 Actor。对于基于 Promise 的 Actor，XState 会传递 AbortSignal，从而支持协作式取消。例如，在加载用户数据的 machine 中，发送 CANCEL 事件会离开 loading 状态，停止 Promise Actor 并触发 signal，使 fetch 请求被取消。
XState 如何实现依赖替换（依赖注入）？
XState 通过 setup 定义 Actor、action、guard 和 delay 的接口，然后使用 provide 方法提供具体实现。例如，可以为生产环境提供真实的支付 Actor，为测试环境提供模拟的支付 Actor。动态依赖也可以通过 machine input 或 Actor input 传入。
XState 如何实现资源清理？
XState 通过 callback Actor 的 cleanup function 实现资源清理。当 Actor 被停止时，cleanup function 会被执行。例如，WebSocket 连接可以在 cleanup 中关闭。此外，也可以使用 using、try/finally 和 AbortSignal 等普通 TypeScript 资源管理方式。
XState 如何实现状态持久化和恢复？
XState 可以通过 actor.getPersistedSnapshot() 获取持久化快照，然后使用 createActor(machine, { snapshot }) 恢复。但需要注意，xstate@5.32.6 中持久化快照不包含已调度的延迟事件，因此对于依赖定时任务的流程，需要将绝对 deadline 或剩余时间放入 context，恢复后重新计算延迟。
XState 如何实现可观测性？
XState 通过 inspection API 提供可观测性。创建 Actor 时可以传入 inspect 函数，该函数会收到 Actor 创建、事件、快照和微步等 inspection 事件。这些事件可以转换为日志、可视化时间线、测试 trace 或 OpenTelemetry span。
XState 如何实现重试策略（如指数退避）？
XState 通过状态机建模重试策略，例如将退避过程建模为 trying --FAILED--> waiting --after retryDelay--> trying 的状态转换。延迟可以通过 delays 配置动态计算，如 retryDelay 根据重试次数指数增长。测试时可以使用 TestClock 快速验证。
XState 如何实现类型化错误处理？
XState 使用 TypeScript 的 discriminated union 将失败结果表示为事件类型，例如 PAYMENT_DECLINED、PAYMENT_TIMED_OUT 等。machine 可以显式定义每个失败事件在当前状态下的处理方式，如重试、进入人工审核或最终失败。
