Choice<'T1,'T2> 上的一元操作答案

【问题标题】：Monadic operations on Choice<'T1,'T2>Choice<'T1,'T2> 上的一元操作
【发布时间】：2019-01-02 10:47:22
【问题描述】：

我在标准库中找不到对象choice，它允许我编写

let safeDiv (numer : Choice<Exception, int>) (denom : Choice<Exception, int>) =
    choice {
        let! n = numer
        let! d = denom
        return! if d = 0
            then Choice1Of2 (new DivideByZeroException())
            else Choice2Of2 (n / d)
    }

就像在 Haskell 中一样。是我遗漏了什么，还是有第三方库可以写这种东西，还是我必须重新发明这个轮子？

【问题讨论】：

标签： f# computation-expression

【解决方案1】：

值得注意的是，与 Haskell 不同，在 F# 中使用异常是一种完全可以接受的处理异常情况的方法。语言和运行时都对异常有一流的支持，使用它们并没有错。

我知道您的 safeDiv 函数是为了说明，而不是作为现实世界的问题，因此没有理由展示如何使用异常来编写它。

在更现实的场景中：

如果异常仅在实际出现问题（网络故障等）时发生，那么我只会让系统抛出异常并在您需要重新启动工作时使用 try ... with或通知用户。
如果异常表示预期的内容（例如无效的用户输入），那么如果您定义自定义数据类型来表示错误状态（而不是使用没有语义的Choice<'a, exn>），您可能会获得更易读的代码意思）。

还值得注意的是，计算表达式仅在您需要将特殊行为（异常传播）与普通计算混合时才有用。我认为尽可能避免这种情况通常是可取的（因为它会将效果与纯计算交错）。

例如，如果您要进行输入验证，您可以定义如下内容：

let result = validateAll [ condition1; condition2; condition3 ]

我更喜欢计算表达式：

let result = validate {
  do! condition1
  do! condition2
  do! condition3 }

也就是说，如果您绝对确定用于错误传播的自定义计算构建器是您所需要的，那么 Aaron 的答案就包含您需要的所有信息。

【讨论】：

【解决方案2】：

Choice<'a,'b> 类型没有内置的计算表达式。一般来说，F# 没有内置的常用 Monad 计算表达式，但它确实提供了一种相当简单的方法来自己创建它们：Computation Builders。 This series 是一个关于如何自己实现它们的好教程。 F# 库通常定义了一个 bind 函数，可以用作计算生成器的基础，但它没有一个用于 Choice 类型的函数（我怀疑是因为 Choice 有很多变体） .

根据您提供的示例，我怀疑 F# Result<'a, 'error> 类型实际上更适合您的方案。几个月前有一个code-review，用户发布了一个Either Computation Builder，如果你想利用它，接受的答案有一个相当完整的实现。

【讨论】：