打字稿：有没有办法将泛型约束放在方法内的泛型类上？

Question

我有如下所示的一元数据结构：

export abstract class Data<A> {
  static initial<A>(): Data<A> {
    return new Initial<A>()
  }

  static failed<A>(error?: any): Data<A> {
    return new Failed<A>(error)
  }

  static loaded<A>(value: A): Data<A> {
    return new Loaded<A>(value)
  }

  static loading<A>(): Data<A> {
    return new Loading<A>()
  }

  static getData<A>(data: Loaded<A>): A {
    return data.getData()
  }

  constructor(public readonly kind: Kind) {}

  abstract map<B>(f: (a: A) => B): Data<B>

  abstract chain<B>(f: (a: A) => Data<B>): Data<B>

  abstract flatMap<B>(f: (a: A) => Data<B[]>): Data<B>[]
}

Initial、Failed、Loaded 和 Loading 是我的类型的四种不同“形状”。

有时在我的代码中我会得到一个Data<A>[]，我想根据A 上的条件进行过滤。我目前的实现是这样的：

  static filter<A>(data: Data<A>[], pred: (a:A) => boolean): Data<A>[] {
    return data.filter(datum => {
      if(datum.isLoaded()) {
        return pred(datum.data)
      }
      return false
    })
  }

大部分代码使用链式方法，例如：

data.map(...).filter(...).doThis().doThat()

但由于static，有时订单会变得混乱：

Data.filter(data.map(...).flatMap(...), myPredicate).map(...).doThis(...) ........

我想知道是否有办法使这个函数成为非静态函数并使用“流畅”的链接方法？

我应该为此扩展数组的原型吗？

Answer 1

你不应该在你的 filter 函数中调用 Array::filter，你应该只返回包装的谓词函数：

static loadedAnd<A>(pred: (a:A) => boolean): Data<A> => boolean {
  return datum => datum.isLoaded() && pred(datum.data);
}

这样写

data.map(...).flatMap(...).filter(Data.loadedAnd(myPredicate)).map(...).doThis(...)
//                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^