对象上的流类型

Question

我一直在考虑将 Flow 添加到我的 javascript 项目中。

在某些情况下，我会做这样的事情，我有一个对象。

const myObject = {
    x: 12,
    y: "Hello World"
}

我有一个通用函数，它对对象进行一些映射，保留键但替换值。

function enfunctionate(someObject) {
   return _.mapValues(myObject, (value) => () => value)
}

我希望函数返回 {x: () => number, y: () => string} 类型有没有办法做到这一点？

当然，我可以将它更一般地键入为 {[key: string]: any}，但我会失去很多我想通过使用 flow 获得的静态类型。

如果我可以用代码生成或可以工作的宏替换我的少数案例，但我看不出用流来做这件事的好方法。

有没有办法解决这个问题？

Answer 1

Flow 能够推断出很多东西。但是，如果要固定类型，则必须自己创建类型。您需要为传递给enfunctionate 的对象创建一个类型，然后指定返回的类型。

您可以使用type alias 键入函数。因此，您可以为该函数创建一个新的显式类型。

function enfunctionate<X, Y>(x: X): Y {
    return _.mapValues(myObject, (value) => () => value)
}

只要知道 X 的类型，就知道 Y 的类型。类型别名、泛型和联合应该能够为您提供所需的灵活性。

但是，我也在想，只要 mapValues 的类型被很好地指定（希望由其他人指定），那么您只需指定 enfunctionate 采用的类型并让 Flow 推断返回类型即可那个函数。

Answer 2

这是目前你能得到的最好的，虽然它比 {[key: string]: any} 更安全，但仍然有一个 any 参与

function enfunctionate<O: Object>(someObject: O): { [key: $Keys<O>]: (...rest: Array<void>) => any } {
   return _.mapValues(someObject, (value) => () => value)
}

const obj = enfunctionate(myObject)

obj.x() // ok
obj.unknown() // error

编辑：从 v.33 开始，您可以使用 $ObjMap

function enfunctionate<O>(o: O): $ObjMap<O, <V>(v : V) => () => V> {
  return _.mapValues(o, (value) => () => value)
}