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

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 Flow泛函函数语法

2 个答案: