为什么这段代码不使用带有 Flow 的函数子类型类型检查？

Question

为什么这段代码不与flow 一起打字？

function runFunction<I, O>( fun: (...args:Array<I>) => O, args:Array<I> ): O {
    var res = fun.apply(null, args);
    return res;
}

function myFun(first: number, second: number): string {
    return first + ", " + second;
}

runFunction(myFun, [1, 2]);

我认为我做的一切都是正确的，我仍然得到这个

function type
Too few arguments (expected default/rest parameters in function)
function

rest array of type parameter I of function call
This type is incompatible with
number

Answer 1

哦，现在我明白了。我必须这样做

function runFunction<I, O>( fun: (...args:Array<I>) => O, args:Array<I> ): O {
    var res = fun.apply(null, args);
    return res;
}

function myFun(...args:Array<number>): string {
    return args[0] + ", " + args[1];
}

runFunction(myFun, [1, 2]);

所以，如果我理解正确，“接受 2 个数字的函数”不是“接受任意数量的任何参数的函数”的子类型，即使它在逻辑上是子类型。

我不确定什么是正确的解决方案......我理解，有点，逻辑，但它有点令人困惑。