原文档：https://gcanti.github.io/fp-ts/
在TypeScript中使用类型化函数式编程 fp-ts为开发者提供了在TypeScript中来自类型化函数式语言的流行模式和可靠的抽象。
免责声明。教授函数式编程不在本项目的范围之内，因此文档假设你已经知道FP是什么。
核心概念
fp-ts的目标是使开发者能够编写构建在高阶抽象之上的纯FP应用程序和库。它包括了来自Haskell、PureScript和Scala等语言的最流行的数据类型、类型类和抽象。
函数
函数式编程全部是关于纯函数以及如何将它们组合成更大的结构。fp-ts提供了一些通用函数来支持你的组合、常量函数等。
数据类型
数据类型是fp-ts的实用部分：你可以用你的数据实例化它们，以获得对解决特定需求有用的属性和功能。因为数据类型都共享公共接口（通过类型类），一旦你学会了如何使用一个数据类型，你就可以将相同的概念应用到其他数据类型上。
fp-ts中的许多函数使用特定多态性，这意味着它们有一个单一的实现，可以处理不同类型的参数。要使这工作，通常需要提供一个提供特定于数据类型的功能的实例。
注意。数据类型不是栈安全的，也没有蹦床实现。但对于遍历和序列化列表，每个数据类型都有一个栈安全和优化的版本。
类型类
类型类为fp-ts提供了理论基础：它们描述了你可以用你的数据做什么。为了确保它们可以安全地组合，它们建立在抽象代数和范畴论中的法则上。
高阶类型
fp-ts与其他函数库的一个显著特点是它实现了高阶类型，这是TypeScript原生不支持的。在TypeScript中模拟高阶类型的想法基于轻量级高阶多态性。