TypeScript问题：方法无法接受更窄类型作为参数

你遇到的错误核心是TypeScript的方法参数逆变规则：

当类实现接口时，方法的参数类型不能比接口定义的更严格（更窄）。VariableLike<number>接口里的push方法要求接受所有符合ScalarLike<number>类型的值，但你在NumVariable里把push的参数限定为Num——这违反了接口契约：调用方完全可以传入一个仅实现value()方法的ScalarLike<number>实例（比如{ value: () => 5 }），但你的push方法只能处理Num类型，TypeScript会阻止这种破坏类型安全的写法。

另外你对ScalarLike<T>的定义也存在逻辑偏差：你描述它是ValueLike<T>+特定T方法，但当前代码里ScalarLike<T>和ValueLike<T>的结构完全一致，导致类型区分度不足，建议调整ScalarLike<T>的定义，明确包含通用标量操作。

最贴合你设计意图的修复方式是给VariableLike增加一个泛型参数，用来指定具体的标量类型，既符合接口契约，又能严格约束push和ith的类型：

type ValueLike<T> = {
  value: () => T;
};

class Value<T> implements ValueLike<T> {
  constructor(private val: T) {}
  value = () => this.val;
}

class View<T> implements ValueLike<T> {
  constructor(private array: T[], private index: () => number) {}
  value = () => this.array[this.index()];
}

// 重新定义ScalarLike，明确包含通用标量方法
type ScalarLike<T> = ValueLike<T> & {
  add: (other: ScalarLike<T>) => ScalarLike<T>;
  divideBy: (other: ScalarLike<T>) => ScalarLike<T>;
  // 其他通用标量方法
};

class Num implements ScalarLike<number> {
  constructor(private valueLike: ValueLike<number>) {}
  value = () => this.valueLike.value();
  add = (other: ScalarLike<number>) => new Num(new Value(this.value() + other.value()));
  divideBy = (other: ScalarLike<number>) => new Num(new Value(this.value() / other.value()));
}

// 给VariableLike增加泛型参数S，约束为ScalarLike<T>
type VariableLike<T, S extends ScalarLike<T>> = {
  ith: (index: () => number) => S;
  push: (scalar: S) => number;
};

class NumVariable implements VariableLike<number, Num> {
  constructor(private array: number[]) {}
  ith = (index: () => number) => new Num(new View(this.array, index));
  push = (num: Num) => {
    return this.array.push(num.value());
  };
}

如果不想修改VariableLike的泛型结构，也可以把push的参数恢复为ScalarLike<number>，并在内部处理类型兼容问题：

class NumVariable implements VariableLike<number> {
  constructor(private array: number[]) {}
  ith = (index: () => number) => new Num(new View(this.array, index));
  push = (scalar: ScalarLike<number>) => {
    // 可选：加类型守卫确保是Num类型
    if (scalar instanceof Num) {
      return this.array.push(scalar.value());
    }
    // 处理其他ScalarLike<number>实例
    return this.array.push(scalar.value());
  };
}

内容的提问来源于stack exchange，提问作者Adam B.