Javascript Flow泛函函数语法

Question

尝试编写通用映射函数时,我遇到了一些语法错误.

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    

Flow说: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