如何为F#可区分联合类型设置默认值？

要让你的Result<'a>类型在查询无结果时返回Error而非null，可以借助F#查询表达式的headOption方法来优雅处理，避免直接处理null值。以下是具体实现方式：

方法1：使用headOption映射结果 #

这是最简洁且符合F#风格的方案，先通过headOption获取option<Result<'a>>类型的结果，再通过模式匹配将None转换为Error：

type Result<'a> = 
    | Ok of 'a 
    | Failure of string // 预期失败场景（如密码错误）
    | Error // 意外错误场景（如用户不存在）

// 你的SQLDataProvider查询示例
let userEmail = 
    query { 
        for user in dbContext.Public.Users do 
        where (user.Id = 42) 
        select (Ok user.Email) 
        headOption // 获取option类型的结果，无数据时返回None
    } |> function
        | Some result -> result // 有数据时返回原Ok结果
        | None -> Error // 无数据时返回Error

方法2：兼容headOrDefault的处理方式 #

如果你更习惯使用headOrDefault，可以先获取结果，再判断是否为null并转换：

let userEmail = 
    let rawResult = query { 
        for user in dbContext.Public.Users do 
        where (user.Id = 42) 
        select (Ok user.Email) 
        headOrDefault 
    }
    // 若结果为null，说明无匹配数据，返回Error；否则返回原结果
    if isNull rawResult then Error else rawResult

为什么这个方案可行？ #

F#的option<'a>类型之所以能在无结果时返回None，是因为查询表达式对option有原生支持，会自动处理空结果的情况。而你的自定义Result<'a>作为引用类型，headOrDefault默认会返回null——通过上述方法，我们手动将空结果的情况映射为Error，完美区分了**预期失败（Failure）和意外错误（Error）**两种场景，满足你的业务需求。

内容的提问来源于stack exchange，提问作者René Ederer