javascript - 流: Typechecking a complex Immutable shape using fromJS()?

Question

如何使用 Flow 对从 fromJS 生成的 Immutable.JS 数据结构的形状进行类型检查？可以使用对象字面量符号非常准确地键入普通的旧 JS blob:

type ObjectShape = {
  a: number,
  b: string,
  c: {
    d: number,
  },
  e: Array<number>
};

const obj: ObjectShape = { // hyper-accurate
  a: 1,
  b: '2',
  c: {
    d: 3,
  },
  e: [4]
}

但是，在 Immutable.js 方面，似乎有两个主要的并发症:

1. 似乎 Immutable.js 的 fromJS 方法返回 any ( https://github.com/facebook/immutable-js/blob/master/type-definitions/immutable.js.flow#L764 )，因此在 Flow 中没有捕获到以下错误:

   const map: boolean = fromJS(obj) // this is totally not true, but Flow can't tell
   

2. 根据 How to describe Immutable.js Map shape with Flow， map 形状似乎无法使用类似对象的符号来描述(或者此信息是否已过时？)。

我真的很困惑如何让 Flow 理解 Immutable.js，尤其是 map 。据我所知，当数据存在于 Immutable.js 结构而不是普通的 JS 基元中时，Flow 失去了很多关于代码库的智能。

Answer 1

编辑 2018-05-14:immutable-js 尚未发布的 4.0 版完全支持此功能。当您创建一个 Record 时，它会根据传递给它的对象推断其类型，或者您可以手动将工厂类型键入为 Record<TProps>。 .截至目前最新版本为 4.0.0-rc.9，但该项目已 comatose大约六个月，因此您可能只想阅读已知的错误(以避免它们，或者在自定义构建中修复它们)并使用 RC。

---

理论上，您必须使用 Record() 来编码预期的形状，然后添加类型检查...

遗憾的是，由于 certain 的缘故，静态键入此 immutable-js 结构的实际成员 是不可能的。 features缺乏流量。

目前有一对拉取请求(first，second)打开以向类型检查器添加必要的功能，但它们相当复杂，审查和集成它们的过程似乎在内部进行 Facebook 。

我怀疑一旦这些被合并，编码新热点的流类型定义几乎会立即出现，即使 immutable-js 项目没有那么快地集成它们。

注意:如果你想提供反馈，请不要留下“+1”或“when is it done comments”；那些不是该存储库接受的样式。请改用 react /投票功能。