Question

我编写了这个简单的compose函数，效果很好。但是，为了确保类型安全，我不得不诉诸使用泛型为编译器提供类型提示，即使很容易推断出“ upperCaseAndLog”的签名也是如此。

const compose = <T, R>(...fns: Array<(a: any) => any>) => (a: T): R =>
  fns.reduce((b, f) => f(b), a);

const greet = (s: string) => "Hello " + s;
const toUpperCase = (s: string) => s.toUpperCase();
const log = console.log;

const upperCaseAndLog = compose<string, void>(
  greet,
  toUpperCase,
  log
);

upperCaseAndLog("bill");

我是否缺少某些东西，是否有更优雅的方法来实现相同的目标？我认为像F＃或Haskell这样的语言将能够在没有任何其他信息的情况下推断类型。

Answer 1

Typescript无法推断此类链接类型（链接是指该函数的参数取决于前一个函数的结果）。

您甚至无法以足够通用的方式定义compose的签名以使其适用于多种功能。我们能做的就是定义可以接受给定数量的功能的重载：

type Fn<A, R> = (a: A) => R // just to be a bit shorter in the compose signature, you can use teh function signature directly  
function compose<T, P1, P2, R>(fn1: Fn<T, P1>, fn2: Fn<P1, P2>, f3: Fn<P2, R>) : Fn<T, R>
function compose<T, P1, R>(fn1: Fn<T, P1>, f2: Fn<P1, R>) : Fn<T, R>
function compose(...fns: Array<(a: any) => any>) {
    return function (a: any) {
        return fns.reduce((b, f) => f(b), a);
    }
}

const greet = (s: string) => "Hello " + s;
const toUpperCase = (s: string) => s.toUpperCase();
const log = console.log;

const upperCaseAndLog = compose(
    greet,
    toUpperCase,
    log
);

upperCaseAndLog("bill");//(a: string) => void

打字稿功能类型推论

1 个答案: