0

我对这段代码感到困惑：

/**
 * Lift a function of one argument to a function which accepts and returns values wrapped with the type constructor `F`
 */
export function lift<F extends URIS3>(
  F: Functor3<F>
): <A, B>(f: (a: A) => B) => <U, L>(fa: Type3<F, U, L, A>) => Type3<F, U, L, B>
export function lift<F extends URIS3, U, L>(
  F: Functor3C<F, U, L>
): <A, B>(f: (a: A) => B) => (fa: Type3<F, U, L, A>) => Type3<F, U, L, B>
export function lift<F extends URIS2>(
  F: Functor2<F>
): <A, B>(f: (a: A) => B) => <L>(fa: Type2<F, L, A>) => Type2<F, L, B>
export function lift<F extends URIS2, L>(
  F: Functor2C<F, L>
): <A, B>(f: (a: A) => B) => (fa: Type2<F, L, A>) => Type2<F, L, B>
export function lift<F extends URIS>(F: Functor1<F>): <A, B>(f: (a: A) => B) => (fa: Type<F, A>) => Type<F, B>
export function lift<F>(F: Functor<F>): <A, B>(f: (a: A) => B) => (fa: HKT<F, A>) => HKT<F, B>
/**
 * Lift a function of one argument to a function which accepts and returns values wrapped with the type constructor `F`
 * @function
 */
export function lift<F>(F: Functor<F>): <A, B>(f: (a: A) => B) => (fa: HKT<F, A>) => HKT<F, B> {
  return f => fa => F.map(fa, f)
}

我在fp=ts 回购中找到了这个

我对此感到相当困惑。每个函数的初始签名看起来都一样<A, B>(f: (a: A) => B)。

打字稿如何确定哪个是正确的调用？

4

2 回答 2

1

我不知道fp-ts，但大概lift()是根据F传入的参数是 a Functor3<>、Functor3C<>还是Functor2<>来选择重载Functor2C<>。我认为这足以让编译器选择一个。

正如@Sam 在评论中提到的那样，您似乎正在查看的返回类型，lift()它没有进入选择重载的等式。 lift()返回另一个函数，这可能会让您感到困惑？

希望有帮助。

于 2018-03-08T20:06:21.990 回答
0

(f: (a: A) => B) 在定义中使用泛型类型。

你可以在这里阅读更多https://www.typescriptlang.org/docs/handbook/generics.html

于 2018-03-08T19:59:38.387 回答