F#中最常见的错误表示方式是什么

时间:2018-12-06 11:32:35

标签: error-handling f#

我正在研究F#项目,我想知道在F#中使用Result类型返回域错误的最佳实践是什么。我考虑了几种方法:

继承的异常

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

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

1 个答案:

答案 0 :(得分:5)

通常,这将是一个受歧视的工会。每个错误都需要不同的详细信息来伴随消息。例如:

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

您还可以捕获一些异常(不一定是所有异常):

| ...
| Exception of exn