用途：fp-ts 是 TypeScript 的类型化函数式编程库，借鉴 Haskell 与 Scala 的抽象，用于以严格类型安全的方式处理可选值、错误、异步、依赖注入与集合操作。
主要能力：提供 Option（替代 null/undefined）、Either（可失败计算）、Task 与 TaskEither（惰性 Promise 与异步错误处理）、Reader 与 ReaderTaskEither（依赖注入）、State、IO、Array、Record 等模块，以及 pipe、flow 组合工具和 HKT 类型系统。
使用方式：安装 npm install fp-ts；按模块导入，如 import * as O from 'fp-ts/Option'、import * as E from 'fp-ts/Either'、import * as A from 'fp-ts/Array'、import * as TE from 'fp-ts/TaskEither'，并从 fp-ts/function 导入 pipe、flow。常用操作包括 map、flatMap、fold、getOrElse、filter、alt、sequence、traverse、Do 记法等。
适用场景：安全数组与属性访问、解析与校验、链式可选操作、异步请求与并行执行、函数式对象与数组处理、配置与依赖传递。
限制：资料未提供版本、性能、浏览器兼容性、收费与许可信息；部分示例（如 State、IO）在资料中未展开，暂未提供。