fp-ts-pragmatic

fp-ts-pragmatic：实用主义的 TypeScript 函数式编程指南

技能概述

fp-ts-pragmatic 是一份去除学术术语、专注实战的 fp-ts 函数式编程指南，教你用 80/20 法则掌握最有用的函数式编程模式，无需范畴论基础即可写出更优雅的 TypeScript 代码。

适用场景

1. fp-ts 入门学习

当你刚开始接触 fp-ts 库时，这个指南跳过抽象的数学概念，直接教你 pipe、Option、Either 等最实用的模式，让你快速上手并应用到实际项目中。

2. TypeScript 代码优化

当你需要处理可空值（null/undefined）、显式错误处理或链式异步操作时，fp-ts 提供的类型安全模式比原生 try-catch 和可选链更清晰、更易维护。

3. 代码重构与架构升级

当你想把命令式代码重构为函数式风格，或者团队正在引入函数式编程范式时，这份实用指南提供了渐进式的迁移路径和最佳实践。

核心功能

1. Pipe 链式操作

pipe 函数让多个数据转换操作按照阅读顺序清晰排列，替代嵌套函数调用和临时变量，代码逻辑一目了然。当有 3 个以上连续转换时使用最合适。

2. Option 空值处理

Option 类型优雅地处理可能缺失的值，避免到处写 null 检查。通过 fromNullable、flatMap 和 getOrElse 等函数，安全地链式访问深层嵌套属性，类型系统强制你处理空值情况。

3. Either 显式错误处理

Either 类型让错误成为返回值而非异常，使失败路径在类型中可见。通过 left/right 区分错误和成功，配合 flatMap 链接可能失败的操作，替代 throw/try-catch 模式。

4. Map 值转换

在不解包的情况下转换容器内的值，适用于 Option、Either、Array 等多种类型，保持代码一致性。

5. FlatMap 操作链式组合

链接每个步骤都可能失败的操作序列，任何一步失败都会短路整个流程，返回具体错误信息，比异常处理更精确。

常见问题

fp-ts 适合初学者吗？

这个技能专门设计为初学者友好，完全避开范畴论、单子、函子等学术概念，用通俗语言解释每个模式的用途。你只需要掌握 TypeScript 基础即可开始学习。

什么时候不应该用函数式编程？

当简单的可选链 user?.address?.city 就能解决问题时，不要引入 Option；当团队不了解函数式编程时，不要强行使用；在性能关键的热路径代码中，原生循环通常更快。遵循"如果让代码更难读，就不要用"的黄金法则。

fp-ts 的 Option 和 TypeScript 原生可选链有什么区别？

TypeScript 原生的可选链 ?. 和空值合并 ?? 适合简单场景，但遇到多层嵌套或需要类型系统强制处理空值时就力不从心了。fp-ts 的 Option 提供链式组合能力，可以和其他函数式模式无缝配合，在复杂业务逻辑中表现更优。

使用 fp-ts 会影响性能吗？

函数式编程会创建中间数据结构，确实有一定性能开销。但在大多数业务代码中，这点开销可以忽略不计。建议在热路径（如高频循环、数值计算）使用命令式代码，业务逻辑层使用函数式编程提升可维护性。

Either 和 try-catch 有什么区别？

try-catch 的错误处理路径在代码中不可见，容易被忽略。Either 把错误作为返回值类型的一部分，编译器会强制你处理失败情况。Either 还可以链式组合多个可能失败的操作，返回具体错误信息而非异常，更适合业务逻辑层的错误处理。

团队不了解函数式编程能用 fp-ts 吗？

可以，但要循序渐进。建议从 pipe 和简单的 Option 链开始，配合代码注释说明意图。如果团队大部分成员无法理解代码，说明使用过度了。这份指南强调可读性，提供了"避免过度聪明"的代码对比示例。

如何从命令式编程转向函数式编程？

建议从 Quick Wins 开始：先用 pipe 替换嵌套三元表达式，用 Option 替换多层 null 检查，用 Either 替换抛异常的验证逻辑。随着团队熟悉度提升，再逐步引入 TaskEither 等高级模式。

学习 fp-ts 必须懂范畴论吗？

完全不需要。这份指南采用实用主义方法，只教你解决问题需要的模式。等你熟练掌握这些模式后，如果感兴趣再去学习背后的理论会更容易。记住：函数式编程是工具，不是宗教。