Javascript Flow 泛型函数语法

Question

我在尝试编写通用 map 函数时遇到了一些语法错误。

function mymap<A, B>(fun: (_: A) => B, array: Array<A>): Array<B> {
    let result: Array<B> = [];
    for (let i of array)
        result.push(fun(i));
    return result;
}

let x = mymap<number, number>(x => x, [1, 2, 3]);
                            ^ Unexpected token    

流程说:意外的标记>。我究竟做错了什么？感谢您的帮助。

Answer 1

Flow 只是一个类型检查器。虽然它不允许泛型实现的类型重载，但您不应在调用函数时指定类型。 Flow 只会尝试检查参数与函数签名的兼容性并扣除输出类型。所以你只需要写

let x = mymap(x => x, [1, 2, 3]);

Flow 会扣除表达式的输出类型并将其应用于x 变量。

或者您可以显式指定 x 的类型:

let x: Array<number> = mymap(x => x, [1, 2, 3]);

在这种情况下，Flow 可以将推导类型与所需类型进行比较，如果您错误地使用了不正确的映射函数，例如 x => x.toString()，那么 Flow 会警告您那:

   let x: Array<number> = mymap(x => x.toString(), [1, 2, 3]);
//              ^ string             ^ This type is incompatible with number