Question

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

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表示法>尖括号。

Answer 2

实际上，通过指定元组，旧的ML样式也可以与多个类型参数一起使用：

type ('a, 'b) TryValue =
    | Value of 'a
    | Error of 'b

但是，我相信我读过旧语法已被弃用...

f＃区别联合通用

2 个答案: