fp-ts

fp-ts 是一个为 TypeScript 提供类型安全函数式编程能力的开源库。它实现了 Option、Either、IO、Task 等代数数据类型，以及 Functor、Applicative、Monad 等类型类抽象，并通过类型编码模拟 TypeScript 原生不支持的高阶类型（Higher Kinded Types）。项目强调纯函数、不可变性与错误处理的显式建模，适用于需要强类型保障和可预测副作用管理的中大型前端或 Node.js 应用，尤其适合构建高可靠性业务逻辑层或领域驱动型系统。