Appearance
使用 fp-ts 将错误作为值处理，消除 try/catch 嵌套
解决 TypeScript 异常处理中的“隐形错误”痛点：通过 fp-ts 将错误定义为类型系统的一部分，替代传统的 try/catch 模式，实现可预测、可链式的错误处理流。
为什么需要这个技能
在传统的 TypeScript 开发中，throw 抛出的异常在类型签名中是不可见的。一个函数声明返回 User，但实际上可能会抛出 Error，导致调用者必须在每一层包裹 try/catch，否则程序就会崩溃。这不仅导致了大量重复的样板代码（Spaghetti Code），还增加了遗漏错误处理的风险。
通过将“错误视为数据”（Errors as Data），我们可以使用 Either 类型。它明确告诉调用者：这个函数可能返回一个错误（Left）或者一个成功值（Right）。这样，错误处理就从运行时的“碰运气”变成了编译时的“强制要求”。
适用场景
- 需要重构深层嵌套的
try/catch逻辑。 - 构建复杂的表单验证，需要一次性收集所有错误而非在第一个错误时中断。
- 处理异步请求链路，需要清晰地定义每一步可能的失败原因。
- 希望在 TypeScript 中实现类似 Rust 或 Haskell 的健壮错误处理机制。
核心工作流
1. 使用 Either 处理同步错误
将函数返回值从 T 变为 E.Either<ErrorType, T>。
- Right: 承载成功结果。
- Left: 承载错误信息。
- 操作: 使用
pipe结合E.map（转换结果）和E.chain（链式调用下一个可能失败的函数）。
2. 使用 TaskEither 处理异步错误
对于 Promise 异步操作，使用 TE.TaskEither<ErrorType, T>。它本质上是一个返回 Promise<Either<E, A>> 的函数，支持延迟执行且能与 Either 保持一致的链式操作。
3. 错误累积（Validation）
在表单验证场景下，使用 sequenceS 和 Applicative 模式。与 chain 不同，这种模式不会在遇到第一个错误时停止，而是将所有验证失败的信息收集到一个数组中返回。
4. 边界转换
在代码的边缘（如 API 入口或第三方库调用处）使用 E.tryCatch 或 TE.tryCatch 将传统的抛出式异常转换为 Either 值，确保内部业务逻辑处于纯净的函数式流中。
下载和安装
解压后将目录放入你的 AI 工具 skills 文件夹，重启工具后即可使用。具体路径参考内附的 USAGE.zh.md。
你可能还需要
暂无推荐