, 比如网络请求, 文件读取)数据进行类型检验.io-ts社区上有很多库提供了"对数据进行校验"这个功能, 但我们今天重点讲讲io-ts.io-ts 的特殊点在于:io-ts 的校验是与TypeScript...Union = A | B;type Intersect = A & B;在这个例子中, 我们使用 | 和 & 作为组合子, 将类型A和B组合成新的类型.同样的, Parser 也有其对应的组合子:union...Parser的返回值.这个类型转换具有通用性, 是函数式编程中的一个重要抽象, 在本节中会化一些篇幅对其推导, 最终将改抽象对应到Haskell 的sequenceA函数.为了Either[...(t a)这段类型签名中的Applicative f =>是Haskell 中的类型约束, 在余下篇幅中会对其重点讲解, 可以暂时对其忽略.即, Haskell 已经有我们所需要的类型转行的抽象, 函数名为...> => Promise的转换在Monad的类型声明中, Monad还实现了Applicative:interface Applicative extends Functor