为什么在使用function.apply时Closure不进行类型检查？

Question

见下文

/**
 * @param {string} a
 * @param {string} b
 */
var f = function(a, b){
    // ...
}

/**
 * @param {string} a
 * @param {boolean} c
 */
var h = function(a, c){
    f.apply(this, arguments); // no compile error
    f.apply(this, [a, c]);    // no compile error
    f.call(this, a, c);       // compile error: does not match formal parameter
}

为什么闭包仅在使用call时不产生错误？
有没有一种方法可以使闭包在使用Apply时进行类型检查？

Answer 1

因为（a）类型检查器还没有元组类型的概念，并且（b）很少用数组文字调用方法。 使用.call时，确定将哪个参数分配给哪个参数槽是无关紧要的。

如果类型系统增长为元组类型，则应该花更多的精力检查.apply，因为更可能知道数组“ slot”类型和长度。