我不明白为什么the definition of concat 在Collection<K, V> 中使用any：
concat(...valuesOrCollections: Array<any>): Collection<any, any>;
为什么不能：
concat(...valuesOrCollections: Array<V>): Collection<K, V>;
?
【问题讨论】：
标签： javascript typescript immutable.js
我不确定为什么会这样签名，但您应该可以 augment the module/interface 添加通用签名。
比如：
declare module "immutable" {
module Collection {
interface Collection<K, V> {
concat(...valuesOrCollections: Array<V>): Collection<K, V>;
}
}
}
【讨论】：
Invalid module name in augmentation, module 'Immutable' cannot be found.。我的 node_modules 中确实有 immutable/dist/immutable.d.ts，它确实包含该模块。我从文件顶部的不可变对象导入：import {Map, List, Seq, Collection} from "immutable";。
import ... from "Immutable" 导入的。名称必须相同。在我的回答中将其更改为declare module "immutable"。
any 的原因）——concat(valuesOrCollections: Array<V>): Collection<K, V>。但后来出了点问题。在我退出的Collection 上，我只有一个功能：concat。所以...List(something).concat(...) 对此我只能再次申请concat。因此，它似乎区分了此返回的 Collection（仅包含 concat 的扩展接口）和来自上游库的真实 Collection。
好的，所以我尝试修改不可变源中的类型定义并运行测试，现在我明白了为什么他们有他们所做的类型定义。
他们希望基本上支持一切，就像（显然）原始的 JS api。例如添加对象属性：
it('concats objects to keyed seq', () => {
let a = Seq({a: 1, b: 2, c: 3});
let b = {d: 4, e: 5, f: 6};
expect(a.concat(b).toObject()).toEqual({a: 1, b: 2, c: 3, d: 4, e: 5, f: 6});
});
直接添加多个值作为参数：
it('concats values', () => {
let a = Seq.of(1, 2, 3);
expect(a.concat(4, 5, 6).size).toBe(6);
expect(a.concat(4, 5, 6).toArray()).toEqual([1, 2, 3, 4, 5, 6]);
});
甚至在参数中添加多个数组：
it('concats multiple arguments', () => {
let a = Seq.of(1, 2, 3);
let b = [4, 5, 6];
let c = [7, 8, 9];
expect(a.concat(b, c).size).toBe(9);
expect(a.concat(b, c).toArray()).toEqual([1, 2, 3, 4, 5, 6, 7, 8, 9]);
});
为了在 typescript 中以类型安全的方式实现这一点，我猜我们需要多个重载（concatCollection、concatValues、concatProperties 等等）。
PS：公平地说，原始定义中的参数名称是一个很好的提示：valuesOrCollections
更新：在我打开一个小PR后，维护者实现了an exhaustive fully type-safe solution。
【讨论】：