.本文会着重带领读者实现io-ts 的核心模块, 是对"如何使用组合子进行抽象"的实战讲解.基础抽象作为一个解析器(或者称为校验器), 我们可以将其类型表示为:interface Parser的方式是抛出一个异常(Error), 但该方式会导致整个解析被终止.我们希望能够将一个个"小"解析器组合成"大"解析器, 所以不希望"大"解析器中的某一个"小解析器"的失败, 导致整个"大"解析器被终止....只有赋予解析器更灵活地处理异常的能力, 我们才能实现更加灵活的组合方式和错误日志的收集.此处可能有些抽象, 如果有所疑惑是正常现象, 结合下文理解会更加容易些.因此, 我们希望"能够像处理数据那样处理异常...尤其是在A和E使用同一种类型进行表示的时候, 会更加难以分辨和处理.对此, 我们将通过tagged union type进行抽象, 类型声明如下:interface Left { readonly...-- 组合子.组合子, 顾名思义, 就是对某种抽象的组合操作, 在本文中, 特指为对解析器的组合操作.如上是示例所示, 在TypeScript 中, 我们也是经常使用"组合" 的方式组合类型:type