并行运行一组 TaskEithers，但如果 1 个或多个任务失败则继续

Question

我必须并行进行一系列 IO 调用，如果成功则合并调用的内​​容。如果一个失败，其他人将按正常方式处理，但会显示错误消息。

我关于如何实现这一点的思考过程：

Array<TE<E, A>> -> TE<E, Array<A>> -> TE<E, MergedA> -> [E, A]

我目前在做什么：

我目前正在对一组 TE 进行排序，但链中的任何故障都会产生一个左值。

pipe(
sequenceT(TE.taskEither)(arrayofTE), //TE<E,A>[] -> TE<E,A[]>
TE.map(mergeFn), //TE<E, A[]> -> TE<E, MergedA> 
???
)

我怎样才能阻止短路？

Answer 1

您可以传递T.task而不是传递TE.taskEither给sequence/ sequenceT( docs )：

动作：并行执行一系列任务，收集所有失败和成功

TaskEither：array.sequence(T.task)(taskEithers) - 与sequenceT相同

sequence: 并行运行相同类型的任务

import { pipeable as P, taskEither as TE, task as T, array as A, either as E } from "fp-ts";

const arrayofTE: TE.TaskEither<string, number>[] = [
  TE.right(1),
  TE.right(2),
  TE.left("Oh shit")
];

const run = P.pipe(
  // change to T.task instead of TE.taskEither here
  A.array.sequence(T.task)(arrayofTE),
  mergeFn
);

run(); // run side effect
// returns Promise<{"errors":["Oh shit"],"results":[1,2]}>

// whatever merged result you want to have; this one collects all errors and all results
declare function mergeFn(te: T.Task<E.Either<string, number>[]>): T.Task<Results> 

type Results = { errors: string[]; results: number[] };

sequenceT: 并行运行不同类型的任务

import { apply as AP /* and others above */ } from "fp-ts";

// Here, TaskEither result can be number | boolean (success case), string on error
const arrayofTE = [TE.right(1), TE.right(true), TE.left("Oh shit")] as const;

const run = P.pipe(
  AP.sequenceT(T.task)(...arrayofTE), // we use sequenceT here and pass T.task again
  mergeFn
);

declare function mergeFn(a: T.Task<E.Either<string, number | boolean>[]>): T.Task<Results>

以下是带有mergeFn可玩的实现的沙箱：sequence，sequenceT。