F# "exit early"计算表达式？

Question

在尝试了解有关计算表达式如何工作的更多信息时，我尝试编写一个构建器，该构建器在评估 if 的 then block 后跳过表达式的其余部分> 语句，因此工作流本身将评估为 true。如果没有任何 if 语句评估为 true，则工作流应返回 false。

例如:

let mutable x = 0

let result =
    earlyExit {
        if false then x <- 99
        if true then x <- 33
        if true then x <- 11
    }

这里，result应该是true，x应该是33。

我得到的最接近的是:

type EarlyExitBuilder () =
    member this.Combine (a, b) = a || b ()
    member this.Delay fn = fn
    member this.Run fn = fn ()
    member this.Zero () = false

... 这导致工作流评估为 false，x 为 11。

使用我示例中的语法是否可行？

Answer 1

能够为您提供所需行为的最小更改可能是将 return 添加到计算中 - return 构造可以返回 true 并提前终止评估:

let mutable x = 0

let result =
    earlyExit {
        if false then return x <- 99
        if true then return x <- 33
        if true then return x <- 11
    }

此计算结果为 true，x 的值将为 33。计算构建器与您的相同，额外的 Return 成员返回 true:

type EarlyExitBuilder () =
    member this.Combine (a, b) = a || b ()
    member this.Delay fn = fn
    member this.Run fn = fn ()
    member this.Zero () = false
    member this.Return( () ) = true

正如其中一个引用答案中提到的，这与我的 imperative computation builder 有点相关。这让你可以使用命令式的 return 和 extended version with break and continue .