如何从Crocks javascript库中的Monads中提取值

Question

我知道monads通常不想解开底层的值，因为它可能存在也可能不存在。在我的用例中，我想使用函数式编程技术，使用ramda作为函数库，使用Crocks作为代数数据结构库，使用非全功能代码库编写代码。我通常会使用IO，或者monad来编写代码，但然后从生成的monad中提取最终结果，这样我就可以将值返回给尚未接受monad的函数。

Folktale有一个名为getOrElse的东西，它将返回值或未定义的/错误字符串。这非常有用，让我可以在一个不需要处理monad的环境中编写函数式代码。Crocks是否有类似的东西，或者是否有其他方法来解包一个或多个IO，或者可能？

我想在Crocks中复制的民间故事的例子：

const simpleFunction = (a) => {
    myMaybe = Maybe.of(a);

    // some random transformations on myMaybe

    // this will fall back to the second case if the maybe is empty
    return myMaybe.getOrElse() || doSomethingElseOnError();
}

Answer 1

看看这里的例子，https://crocks.dev/docs/crocks/Result.html#either或https://crocks.dev/docs/crocks/Maybe.html#either，我认为它最接近你想要做的事情。

你本质上接触到的是价值的折叠。在这种情况下，您需要确保可以获取Maybe a并传入两个函数：() -> b和a -> b，其中b是不想返回Monad的函数的返回值