变量为User类型.但是如果JSON 数据为:{ "gender": 2}这个时候我们的parse 代码还是会成功运行, 但这个时候如果程序中我们还是按照类型声明那样将gender字段当做0 | 1的枚举....io-ts社区上有很多库提供了"对数据进行校验"这个功能, 但我们今天重点讲讲io-ts.io-ts 的特殊点在于:io-ts 的校验是与TypeScript 的类型一一对应的, 完备程度甚至可以称为...TypeScript 的运行时类型检查.io-ts 使用的是组合子(combinator)作为抽象模型, 这与大部分validator generator有本质上的区别.本文会着重带领读者实现io-ts..., 我们才能实现更加灵活的组合方式和错误日志的收集.此处可能有些抽象, 如果有所疑惑是正常现象, 结合下文理解会更加容易些.因此, 我们希望"能够像处理数据那样处理异常", 这使得我们需要将类型修改为以下形式....总结本文简单讲解了io-ts实现背后的函数式编程原理.但实际上, io-ts真实的实现运用了更多的设计, 比如tag less final, 报错类型也使用了其他的代数数据类型(ADT)等, 覆盖面之广