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)