使用序列为大于 1 的元数函数提供单子参数的正确方法吗？

Question

见以下代码sn-p：

const
  fun1 = () => Either.of(1),
  fun2 = () => Either.of(2),
  fun3 = () => Either.of(3),
  fun4 = curry((x, y, z) => Either.of(x + y + z)),
  fun5 = x => Either.of(x + 1),
  fun6 = () => pipeK(
    () => sequence(Either.of, [fun1(), fun2(), fun3()]),
    apply(fun4),
    fun5
  )(),

result = fun6() // returns 7

fun4 需要 3 个参数，我只想在它们都是 正确 参数的情况下提供它们。也就是说，sequence 将应用每个单子值，因此我会将它们作为单个 right 包含原始的 fun1、fun2、fun3 返回值。

这是推荐的方法吗？

^{Click here for run the whole code snippet}

Answer 1

不，我不会将sequence 与数组和apply 一起使用。我认为更惯用的方法是使用ap：

const fun6 = () => chain(fun5, unnest(ap(ap(ap(Either.of(fun4), fun1()), fun2()), fun3())));
// or
const fun6 = () => chain(fun5, unnest(ap(ap(map(fun4, fun1()), fun2()), fun3())));
// or
const fun6 = () => Either.of(fun4).ap(fun1()).ap(fun2()).ap(fun3()).chain(identity).chain(fun5);

Haskell 中的等价物是fun5 =<< join (fun4 <$> fun1 <*> fun2 <*> fun3)。 unnest 在 fun4 返回时需要 unnest，这可能不是必需的。