Question

我很熟悉在F＃中没有相应的＆＃34;返回＆＃34;关键词。

但是我们最近遇到了一个问题，我们需要一个包含许多步骤的工作流程，其中每个步骤都可以返回好的或坏的结果。如果在任何步骤中发现不良结果，我们想退出工作流程 - 并提前退出！

我们通过有效地检查每个步骤中的错误（即函数）来解决它，但我不认为这是正确的方法 - 它效率低，而且我们不会提前退出。

工作流程中的示例函数如下：

let StepB stepAResult someParameters =
    match stepAResult with
    | Good(validResourceData) ->
        // Do current step processing
        // Return current step result
    | Error(error) -> error |> Result.Error

工作流程本身如下：

let Workflow someParameters =
    let stepAResult = StepA someParameters
    let stepBResult = StepB stepAResult someParameters
    let stepCResult = StepC stepBResult someParameters
    let stepDResult = StepD stepCResult someParameters
    stepDResult

所以每个样本函数都会接受上一个函数的结果，只有在没有错误时才执行当前步骤！

我遇到的问题是，如果StepA因错误而失败，则仍会调用其他所有步骤。

是否有＆＃34;功能性＆＃34;早期回归的方式＆＃34;而不是调用工作流中的每个函数，我们必须每次检查错误？

Answer 1

你在假设下编写你的函数，一切都顺利完成。然后你解开幸福的案子，继续幸福的案子。

最后，您可以使用构建器使语法更漂亮。

type Result<'TSuccess, 'TError> = 
    | Success of 'TSuccess
    | Error of 'TError

type ResultBuilder() =
    member this.Bind(v, f) =
        match v with
        | Success v -> f v
        | Error e -> Error e

    member this.Return value = Success value

let result = ResultBuilder()

let bla<'a> = result {
    let! successOne = Success 1
    let! successTwo = Success 2
    let! failure = Error "after this, the computation exited"
    failwith "Boom, won't occurr"
    return successOne + successTwo }

Answer 2

其他答案很棒，计算表达式对此非常适合。

只是提供另一个选项，值得注意的是，在F＃代码结构中有一些特殊情况可以减少痛苦的“早期返回”故事。

基于规范缩进的格式化可能就是这个混乱：

let step1 = ...
if failed step1 then
    () // bail out
else
    let step2 = ...
    if failed step2 then
        ()
    else
        let step3 = ...
        if failed step3 then
            ()
        else 
            let step4 = ...
            ...

下面是两种替代格式。它们看起来很奇怪，但确实非常方便。

let step1 = ...
if failed step1 then
    () // bail out
else

let step2 = ...
if failed step2 then
    ()
else

let step3 = ...
if failed step3 then
    ()
else 

let step4 = ...
...

或

let step1 = ...
if failed step1 then () else

let step2 = ...
if failed step2 then () else

let step3 = ...
if failed step3 then () else 

let step4 = ...
...

Answer 3

这就是计算表达式的用途。

计算表达式提供了很好的语法糖来执行所谓的monadic组合，其中在执行下一步之前自动检查先前的结果值。

我最近就这个概念做了一个演讲 - 它发布在https://www.youtube.com/watch?v=gNNTuN6wWVc的youtube上;和@scottwlaschin在http://fsharpforfunandprofit.com/series/computation-expressions.html

详细介绍了它如果你想要更多的帮助，请在推特上给我打电话！

Answer 4

丹尼尔的答案是继续式方法的句法糖。这里是脱糖版本：

let step1 parm cont =
    if true then cont 42 else None
let step2 parm cont =
    if false then cont 69 else None
let conti parm =
    step1 parm (fun result1 -> 
    step2 parm (fun result2 -> 
    Some(result1 + result2)))

如何实施＆＃34;早期回归＆＃34; F＃中的逻辑

4 个答案: