流：函数变量的注释

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