generics - f# 可区分联合泛型

Question

可以返回值 'a 或错误值 'b 的通用 TryValue 类型的语法是什么？

type TryValue =
    | Value of 'a
    | Error of 'b

如果错误是一个字符串，那很好:

type 'a TryValue =
    | Value of 'a
    | Error of string

我想定义一个 tryRun 函数，它接受一个错误创建者、一个函数和一个参数，该函数将尝试使用该参数运行该函数，并在任何错误时使用错误创建者函数来创建一个错误:

let tryRun createErrorFn param fn =
    try 
        Value (fn param)
    with
        | ex  -> Error (createErrorFn ex.Message param)

以及由 tryRun 包装的任何函数的包装器:

let wrapTryRun createErrorFn fn param =
    match param with
    | Value a -> tryRun createErrorFn a fn
    | Error e -> Error e

现在我可以运行一个函数列表(伪代码，还没有完全解决):

let createErrorFn errorMessage param =
    URLProcessignError {url=param.url;errorMessage=errorMessage}
[fn1;fn2] |> List.fold (fun acc fn -> (wrapTryRun createErrorFn fn acc))

Answer 1

您缺少左侧的泛型参数:

type TryValue<'a,'b> =
    | Value of 'a
    | Error of 'b

当它只有一个参数时，您可以像处理字符串一样使用 ML 样式，但如果您有多个参数，则应使用带有 < 的 .NET 表示法>尖括号。