根本原因在于, TypeScript 不会对数据的类型进行运行时的检验, TypeScript 的类型基本上只存在于编译时.这是众多BUG 的源头, 想以下以下场景:后端的接口定义里将一个字段声明数组,...我们可以将其类型表示为:interface Parser { parse: (i: I) => A;}这个类型用I表示解析器的输入, A表示解析器的输出.但这么设计有一个问题: 对于解析过程中的报错..., 我们只能通过副作用(side effect)进行收集.最直接的方式是抛出一个异常(Error), 但该方式会导致整个解析被终止.我们希望能够将一个个"小"解析器组合成"大"解析器, 所以不希望"大"....Promise.all的执行逻辑(示例所用, 并非node底层实现)如下:创建一个空的Promise r, 并将其值设定为空数组: Promise.resolve([])尝试将values数组中的Promise...能够对一系列上下文进行串联并且收集其中的值.Monad在Applicative的基础上, 能够基于一个上下文中的值, 灵活地创建另外一个包裹在上下文中的值. -- stackoverflow上的回答在Promise.all