在 F# 中表示错误的最惯用方式是什么

我正在开发 F# 项目，我想知道使用返回域错误的最佳实践是什么Result输入 F#。我认为有几种方法可以做到这一点：

继承的异常

type DomainException(message) =
    inherit Exception(message)

type ItemNotFoundException(item) =
    inherit DomainException(sprintf "Item %s is not found" item)

let findItem item =
    match item with
    | Some x -> Ok x
    | None -> Error(new ItemNotFoundException("someitem"))

自定义记录类型

type DomainError =
    { Name : string
      Message : string }

let findItem item =
    match item with
    | Some x -> Ok x
    | None ->
        Error({ Name = "ItemNotFound"
                Message = "Item someitem is not found" })

记录类型的可区分联合

type DomainErrorTypes =
    | ItemNotFoundError of DomainError
    | ItemInvalidFormat of DomainError

let findItem item =
    match item with
    | Some x -> Ok x
    | None ->
        { Name = "ItemNotFound"
          Message = "Item someitem is not found" }
        |> ItemNotFoundError
        |> Error

那么哪种方式更惯用、更方便使用呢？我也很高兴看到更好的选择。

通常它是一个受歧视的工会。每个错误都需要在消息中附带不同的详细信息。例如：

type DomainErrorTypes =
| ItemNotFound of ItemId
| FileNotFound of string
| InvalidFormat of format
| IncompatibleItems of Item * Item
| SQLError of code:int * message:string
| ...

您还可以捕获一些异常（不一定是全部）：

| ...
| Exception of exn