避免嵌套`Result<'T,'TError>`

Question

假设我们有这个input:

let input =
    [
        "0.10"
        "0.21"
        "forty"
        "5.32"
        "q6.20"
    ]

将此输入映射到 F# 结果会导致 Result<'T,'TError> list:

open System

let output =
    input
    |> List.map (
        fun s ->
            match Decimal.TryParse s with
            | true, i -> Ok i
            | _ -> Error $"failed to parse `{s}`"
        )

output |> printf "%A"

[Ok 0.10M; Ok 0.21M; Error "failed to parse `forty`"; Ok 5.32M;
 Error "failed to parse `q6.20`"]

这是一种普遍接受的结果收集方式吗？

或者，是否存在对可伸缩性和性能的担忧，以至于整个列表只返回一个聚合结果？像Result<'T,'TError list> 这样的东西？ FsToolkit.ErrorHandling [GitHub] 是否可以用于此功能，还是我错过了语言中的一种模式？

此解决方案是否会处理列表列表以避免返回 Result<Result<'T,'TError> list>, 'TError>？

Answer 1

您提到的所有选项在某些情况下都可能有用。

• list<Result<decimal, string>> 表示单个值可能无效，但列表本身的转换不会失败的情况
• Result<list<Result<decimal, string>>, string> 表示单个值可能无效并且还有一些其他原因导致列表处理本身可能失败的情况
• Result<decimal list, string list> 代表您要么正确处理整个列表，要么处理失败并且您在此过程中收集到多个错误的情况。

我认为有趣的情况是最后一个 - 如果您想获得有效列表或解析错误列表，您可以编写以下内容：

let merged = output |> List.fold (fun res v ->
  match v, res with
  | Ok v, Ok res -> Ok(v::res)
  | Ok _, Error errs -> Error(errs)
  | Error e, Error errs -> Error(e::errs)
  | Error e, Ok _ -> Error [e]) (Ok [])