这个功能, 但我们今天重点讲讲io-ts.io-ts 的特殊点在于:io-ts 的校验是与TypeScript 的类型一一对应的, 完备程度甚至可以称为TypeScript 的运行时类型检查.io-ts 使用的是组合子...(combinator)作为抽象模型, 这与大部分validator generator有本质上的区别.本文会着重带领读者实现io-ts 的核心模块, 是对"如何使用组合子进行抽象"的实战讲解.基础抽象作为一个解析器...Parser 之前, 让我们先来了解一个概念 -- 组合子.组合子, 顾名思义, 就是对某种抽象的组合操作, 在本文中, 特指为对解析器的组合操作.如上是示例所示, 在TypeScript 中, 我们也是经常使用..."组合" 的方式组合类型:type Union = A | B;type Intersect = A & B;在这个例子中, 我们使用 | 和 & 作为组合子, 将类型A和B组合成新的类型.同样的, Parser...也有其对应的组合子:union: P1 | P2 代表输入的数据通过两个解析器中的一个.intersect: P1 & P2 代表输入的数据同时满足P1和P2两个解析器union 组合子该组合子类似于