fp-ts 务实函数式编程

要解决什么问题

在 TypeScript 里引入 fp-ts 时，常见困境是：教程堆满范畴论术语，团队读不懂；或者为了「函数式」把简单 null 检查改成嵌套 pipe，反而更难维护。本技能针对的是日常业务代码：可空值、预期内失败、异步链式调用，以及从命令式写法逐步重构，而不是把 FP 当成信仰。

技能如何组织内容

文档按 80/20 排列，优先讲五个高频模式：

• pipe：对同一份数据连续做 3 次以上变换时，按阅读顺序链式调用，减少中间变量和深层嵌套。
• Option：用 O.fromNullable、O.flatMap、O.getOrElse 处理缺失值，替代散落的 if (x !== null && x !== undefined)。
• Either：用 E.right / E.left 把成功与失败显式化，配合 E.tryCatch、E.fold 替代「抛异常 + try/catch」处理预期内错误。
• map / flatMap：在容器内变换或串联可能失败的下一步，而不反复手动解包。

此外给出可对照的重构示例（回调嵌套 → pipe、多处 null 检查 → Option 链、Promise + try/catch → TaskEither 思路），以及速查表把「大白话意图」映射到 fp-ts API。进阶章节单独列出 TaskEither、Validation、Reader 等，并明确建议先吃透基础再扩展。

适用边界

黄金法则是：若 FP 让代码更难读，就不要用。 简单 null 检查、简单循环、性能敏感路径、或团队尚不熟悉 FP 时，应保持命令式或直白写法。使用前自问：初级开发者能否读懂；若只有你能维护，则不算好代码。