Javascript 流泛型函数语法

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

流说：Unexpected token >。我究竟做错了什么？谢谢你的帮助。

Answer 1

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

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

and 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

Answer 2

在某些时候流added support for generics

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

Javascript 流泛型函数语法

Javascript Flow generic functions syntax

javascript

generics

flowtype