在与后端开发同事对接API时, 同事问我:你们前端是如何对JSON 数据进行encode/decode 的?...JSON 转换为对应的编程语言的数据结构时, 需要声明JSON 与编程语言数据结构的对应关系, 然后再进行转换, 这个过程称为encode.TypeScript 中的类型TypeScript 在设计之初便以兼容...使用的是组合子(combinator)作为抽象模型, 这与大部分validator generator有本质上的区别.本文会着重带领读者实现io-ts 的核心模块, 是对"如何使用组合子进行抽象"的实战讲解...在TypeScript 中, 我们也是经常使用"组合" 的方式组合类型:type Union = A | B;type Intersect = A & B;在这个例子中, 我们使用 | 和 & 作为组合子...能够对一系列上下文进行串联并且收集其中的值.Monad在Applicative的基础上, 能够基于一个上下文中的值, 灵活地创建另外一个包裹在上下文中的值. -- stackoverflow上的回答在Promise.all