嵌套 bool 测试的 F# 计算表达式？

Question

我认为我对 F# monads(工作流)有足够的了解，我在我的代码中看到了一些地方实现它们是有意义的。

例如，我有一个包含多个嵌套 if/then 的函数，即只要数据一路通过某些“测试”，该函数就应该继续。

我对“可能”单子(monad)很熟悉，但在我见过的所有示例中，它都被编码为在 let! 上运行。绑定(bind)，我没有这样做。我希望有人可以为我提供一个为嵌套 bool 测试而不是 let 量身定制的“可能”工作流程示例。绑定(bind)。

Answer 1

您可以在不定义新单子(monad)的情况下完成此操作。只需定义

let test b = if b then Some () else None

您现在可以使用 maybe :

maybe {
    do! test (1 > 0)
    printfn "1"
    do! test (2 > 3)
    printfn "2"

    return ()
}