Flow：函数变量的注释

Question

什么是变量的正确流类型注释

const a  = x => x

使用generics？

const a: (<T> T => T) = x => x

是failing。

Answer 1

Flow隐式地将表达式x => x键入为(mixed) => mixed（根据flow type-at-pos）。因此

的问题

const a: (<T> T => T) = x => x  // failing

是右侧（(mixed) => mixed）的类型与左侧（<T> (T) => T）的类型不匹配。

可能的解决办法可能是明确设置右侧的类型：

const a: (<T> (T) => T) = <U> (x: U): U => x

如果不需要使用泛型，a的带注释的定义可能如下所示：

const a: (mixed) => mixed = x => x