fp-ts：如何组合多个 Option 生产者？

Question

我正在寻找具有此行为的fp-ts function：

function compute1(arg: number): Option<number>;
function compute2(arg: number): Option<number>;
function compute3(arg: number): Option<number>;

function compute(arg: number): Option<number> {
  const first = compute1(arg)
  if (isSome(first)) return first

  const second = compute2(arg)
  if (isSome(second)) return second

  const third = compute3(arg)
  if (isSome(third)) return third

  return none
}

// For example I am looking for this `or` function:
const compute = or([
  compute1,
  compute2,
  compute3,
])

我在Option here 的文档中找不到相应的 function 。

Answer 1

我认为您正在 Option 库中寻找getLastMonoid 。 这将为您提供最正确的some值，如下表所示：

X	是的	连接（x，y）
没有任何	没有任何	没有任何
一些（一）	没有任何	一些（一）
没有任何	一些（一）	一些（一）
一些（一）	一些（b）	一些（b）

但是，这仅对成对的Option有帮助，为了将其应用于Option数组，您需要依赖Array中的reduceRight function 。 Similar to the reduce function inside vanilla javascript arrays, it will take an initial value B and pass it through a function f until it has gone through the entire array.

将所有这些放在一起，您的计算 function 可以替换为以下内容：

import { getLastMonoid, some, none, Option } from "fp-ts/lib/Option";
import { reduceRight } from "fp-ts/lib/Array";

import { pipe } from "fp-ts/lib/function";

const M = getLastMonoid<number>();

const list = [some(1), some(2), some(3)];

const compute = (list: Option<number>[]): Option<number> =>
  pipe(list, reduceRight(none, M.concat));

console.log(compute(list)); // some(3)