f# - 在可区分联合中对结果类型进行编码

Question

我有多个代码块，它们可以以不可恢复的错误结束，可以通过用户输入取消，或者以其他方式为下一个代码块提供输入值。那么如何处理最后一步，即成功(所有计算均成功完成)。

type Res<'T> =
| Next of 'T
| Cancel
| Fail of string

module Res =
    let bind arg f =
        match arg with
        | Next x -> f x
        | Cancel -> Cancel
        | Fail x -> Fail x

我现在可以像这样将这些步骤串在一起，唉，类型 Res 具有特殊的含义。

let (|?>) = Res.bind

firstFunc() 
|?> fun intermediateResult ->
    secondFunc intermediateResult
    ...
    |?> fun otherResult ->
        lastFunc otherResult
|> function
| Fail msg -> printfn "Error: %s" msg
| Cancel -> printfn "Cancelled"
| Next() -> printfn "Succeeded"

如果我将 Success 编码为离散替代方案，我将在最后一个子句中遇到额外的情况 Next _。解决这个问题的首选方法是什么？

Answer 1

我认为您的 Next of 'T 和 Success of 'T 代表几乎相同的事情 - 它们意味着计算 block 完成并返回了一些值。出于可组合性的原因，计算 block 是否是整个链中的最后一个并不重要——原则上，计算 block 的行为应该是相同的，无论它是在开头还是在结尾您的管道。

但是，如果您想区分这两种情况(并且如果这不会影响组成 block 时的属性)，那么我可能会使用带有附加标志的 Success 情况:

type ResultKind = Success | Next
type Result<'T> =
  | Completed of 'T * ResultKind
  | Cancel
  | Fail of string

现在您可以使用 Completed(42, Success) 创建最终值(并使用 Completed(42, Next) 创建即时结果)。

在模式匹配中，您可以忽略该标志，只需编写 |已完成(结果，_)-> ...