TypeScript 泛型在 Curried 时不适用于以前的函数，如何？

Question

我有一个处理承诺的map 的咖喱版本。它需要两个参数，一次一个。它需要两个类型参数来让调用者提供无法推断的片段。然而，实际上调用者总是必须提供它们，因为类型不是在它们传入的转换函数中推断出来的。函数看起来像这样：

/**
 * @description
 *   Like `ramda.map`, but handles an iterator that returns a promise (or not).
 *
 * @example
 *   await mapP((x: number) => Promise.resolve(x + 1))([1, 2, 3]) // -> [2, 3, 4]
 */
export const mapP = <T, R>(xf: (value: T) => Promise<R> | R) => (
  data: T[],
): Promise<R[]> => pipe(when(isNil, always([])), map(xf), allP)(data)

这是我调用它，你可以看到 x 不为类型系统所知。

如何解决我编写函数以使类型工作的方式（不放弃柯里化 - 我知道如果不柯里化它会解决的）？

Answer 1

我将使用以下声明：

declare const mapP: <T, R>(xf: (value: T) => Promise<R> | R) => (
  data: T[],
) => Promise<R[]>;

这与您的版本相同，但不担心实施。无论如何，您遇到了以下问题，无法在回调中推断 x 的类型：

const res = mapP(x => x.name)(data); // error!
// x is unknown ----> ~

期望编译器可能推断x 必须是Foo 类型并不是完全不合理的，因为data 是Foo[] 类型。像contextual typing 这样的事情，编译器将通过查看某事物的使用方式并确定它应该被声明为什么类型应该被声明为，从而“在时间上向后”推断类型去工作。不幸的是，编译器通过多个函数调用向后执行此操作有点过分。哦，好吧。

---

在我看来，柯里化的最大吸引力在于能够部分应用一个函数，然后稍后使用该部分应用的函数，如下所示：

const f = mapP(x => x.name); // error!
// x is unknown --> ~

// later

const res2 = f(data);

在这种情况下，期望编译器知道关于x 的任何有用信息是难以置信的，尤其是考虑到其他可能的调用，例如：

const res3 = f([{ name: false }]);

其中x 应该是{name: boolean} 而不是Foo。如果您在 x => x.name 中的意图是 x 应该是 Foo，则您需要通过类型注释将该意图传达给编译器：

const res4 = mapP((x: Foo) => x.name)(data); // okay Promise<string[]>

如前所述，这是我建议您解决问题的解决方案；当您调用mapP() 时，您不需要开发人员手动指定T 和R。相反，您正在注释回调的参数，以便编译器可以推断T 和R 本身，它会这样做。

请注意，您甚至可以通过使用 通用回调：

const g = mapP(<T>(x: { name: T }) => x.name);

const res5 = g(data); // Promise<string[]>;
const res6 = g([{ name: false }]); // Promise<boolean[]>;

这里编译器可以使用它在TS3.4中引入的一些higher order type inference来查看g()本身就是一个泛型函数。

---

所以，备份：如果您的用例确实是通过调用它而不持有对它的引用来立即使用部分应用的函数，那么您可能应该在不使用curry的情况下这样做。 “两全其美”的方法可能是一个重载的混合函数，它既是柯里化的又是非柯里化的：

function mapQ<T, R>(xf: (value: T) => Promise<R> | R, data: T[]): Promise<R[]>;
function mapQ<T, R>(xf: (value: T) => Promise<R> | R): (data: T[]) => Promise<R[]>;
function mapQ<T, R>(
  xf: (value: T) => Promise<R> | R,
  data?: T[]
): ((data: T[]) => Promise<R[]>) | Promise<R[]> {
  return data ? mapQ(xf)(data) : mapQ(xf);
}

然后，当且仅当您的意图是稍后使用该功能时，您才可以使用它：

const res7 = mapQ(x => x.name, data); // okay Promise<string[]>
const h = mapQ((x: Foo) => x.name);
const res8 = h(data); // okay Promise<string[]>

---

好的，希望对您有所帮助；祝你好运！

Playground link to code