fp-ts 用于 TypeScript：函数式编程完整指南

\n\n

1. 什么是 fp-ts 以及为什么需要它

\n\n

fp-ts (Functional Programming in TypeScript) 是一个强大的开源库，它将函数式编程 (FP) 范式引入 TypeScript。它提供了一组类型、函数和组合子，其灵感来源于 Haskell、PureScript 和 Scala 等语言。与命令式或面向对象的方法不同，fp-ts 允许您编写纯粹、可预测且易于测试的代码。该库建立在函子、单子、应用函子和其他抽象概念之上，这些概念有助于管理副作用、处理错误以及在没有异常和状态突变的情况下处理异步操作。

\n\n

为什么要使用 fp-ts？在现代 TypeScript 开发中，经常会出现问题：意外的异常（例如，处理 null 或 undefined 时）、由于隐藏依赖和副作用导致的测试复杂性，以及带有回调的混乱异步代码。fp-ts 通过提供严格的类型系统和可组合的抽象来解决这些问题。例如，Option 类型显式地对值的缺失进行建模，而 Either 则用于在没有 try/catch 的情况下处理错误。这使得代码在类型层面更加安全和文档化。

\n\n

该库在业务逻辑高度复杂的项目中尤其有用，这些项目对可靠性和可维护性要求很高。它也非常适合希望逐步引入函数式原则而无需重写整个项目的团队。fp-ts 得到社区的积极维护，并拥有丰富的生态系统，包括与 io-ts（数据验证）、monocle-ts（透镜）和 hyper-ts（Web 服务器）的集成。

\n\n

2. 安装

\n\n

fp-ts 通过 npm 分发。要安装，请执行以下命令：

\n\n

npm install fp-ts

\n\n

如果您不在浏览器环境中工作，还建议安装 @types/node 以获得 Node.js 类型支持：

\n\n

npm install -D @types/node

\n\n

使用 fp-ts 需要 TypeScript 4.0 或更高版本。确保您的 tsconfig.json 中启用了 "strict": true 选项，以获得最大的类型安全性。

\n\n

3. 快速入门 — 最小工作示例

\n\n

考虑一个最简单的例子：安全地除以两个数并处理除零错误。没有 fp-ts 时，我们会这样写：

\n\n

function divide(a: number, b: number): number | null {\n  if (b === 0) return null;\n  return a / b;\n}\n\nconst result = divide(10, 2);\nif (result !== null) {\n  console.log(result); // 5\n}\n

\n\n

使用 fp-ts，我们使用 Option 类型：

\n\n

import { pipe } from 'fp-ts/function';\nimport { Option, some, none, fromPredicate } from 'fp-ts/Option';\n\nconst safeDivide = (a: number, b: number): Option =>\n  pipe(\n    b,\n    fromPredicate((x) => x !== 0),\n    Option.map((divisor) => a / divisor)\n  );\n\nconst result = safeDivide(10, 2);\n// result: Option — some(5) 或 none\n\n// 提取值\nimport { fold } from 'fp-ts/Option';\n\nconst message = pipe(\n  result,\n  fold(\n    () => '错误：除零',\n    (value) => `结果：${value}`\n  )\n);\nconsole.log(message); // "结果：5"\n

\n\n

这个例子展示了 fp-ts 的关键原则：通过 pipe 进行组合、显式地对值的缺失进行建模以及无异常的错误处理。

\n\n

4. 主要方法/函数/类

\n\n

4.1. Option — 处理可选值

\n\n

签名：

\n

// 构造函数\ndeclare const some: (a: A) => Option;\ndeclare const none: Option;\n\