-- 组合子.组合子, 顾名思义, 就是对某种抽象的组合操作, 在本文中, 特指为对解析器的组合操作.如上是示例所示, 在TypeScript 中, 我们也是经常使用"组合" 的方式组合类型:type..., 且具有短路(short circuit)的特性.在Promise.then中, 这个上下文既是"有可能成功的异步返回值".得力于这种抽象, 我们可以摆脱call back hell和对状态的手动断言...;从类型推断实现是函数式编程的经典做法, 我们不妨根据上述类型推断下fromArray的实现.fromArray的返回值是Parser, 与此同时我们有参数...[]>作为最终Parser的返回值.这个类型转换具有通用性, 是函数式编程中的一个重要抽象, 在本节中会化一些篇幅对其推导, 最终将改抽象对应到Haskell 的sequenceA函数.为了Either....但实际上, io-ts真实的实现运用了更多的设计, 比如tag less final, 报错类型也使用了其他的代数数据类型(ADT)等, 覆盖面之广, 是仅仅一篇博客无法讲完的.有兴趣的读者推荐这篇教程