具有返回类型应用于下一个函数的函数数组

Question

我正在寻找创建包含函数的唯一类型的数组。

const a = [
  (): { a: string } => ({ a: 'alpha'}),
  ({ a }): { b: string } => ({ b: 'beta' }),
  ({ a, b }): {} => ({}),
]

这些函数具有显式的返回类型，我想要的是一种不必指定输入类型的方法，并以某种方式将输入类型“链化”，以使所有输入类型都是针对所有返回类型的Merge堆栈中的先前功能。

如果这不可能，那么至少可以有这样的接口：

interface State {
  a: string,
  b: string
}

并为采用State的数组创建通用类型，并将其作为部分应用于数组中每个函数的所有输入和返回类型？

Answer 1

您可以根据先前的功能创建一个功能链，其中的一个功能取决于上一个功能，但是您需要一个功能以及要支持的每个数字功能的重载：

function chain<R1, R2, R3, R4>(fn1: ()=> R1, fn2: (a: R1) => R2, fn3: (a: R1 & R2) => R3, fn4: (a: R1 & R2 & R3) => R4) : [typeof fn1, typeof fn2, typeof fn3, typeof fn4]
function chain<R1, R2, R3>(fn1: ()=> R1, fn2: (a: R1) => R2, fn3: (a: R1 & R2) => R3) : [typeof fn1, typeof fn2, typeof fn3]
function chain<R1, R2>(fn1: ()=> R1, fn2: (a: R1) => R2) : [typeof fn1, typeof fn2]
function chain(...fns: Array<(a?: any)=> any>) : Array<(a?: any)=> any> {
    return fns;
}

const a =chain( // return types are not necessary.
    () => ({ a: 'alpha'}),
    ({ a })  => ({ b: 'beta' }),
    ({ a, b }) => ({ c: a, z:a }),
)

Answer 2

不太好，但这提供了一些支持：

type JourneyFn<T> = (s: Partial<T>) => Partial<T> | Promise<Partial<T>>;
type JourneyFns<T> = JourneyFn<T>[]

interface State {
  a: string,
  b: string
}

const a: JourneyFns<State> = [
  () => ({ a: 'alpha'}),
  ({ a }) => ({ b: 'beta' }),
  ({ a, b }): {} => ({}),
]