generics - 将 F# 泛型函数限制为联合类型？

Question

根据标题，有没有办法将 F# 泛型函数限制为联合类型？到目前为止，我正在使用:

let toDomain<'T> external: 'T option =
    assert FSharpType.IsUnion(typeof<'T>)
    ...

如果我尝试使用非联合，它会在运行时失败并出现 System.ArgumentException，但我更喜欢早点检查。

Answer 1

不。

如果你偷看 implementation的 IsUnion并稍微遵循代码，归结为检查属性/参数的存在[<CompilationMapping(SourceConstructFlags.SumType)>] .

目前，F# 或 .NET 都不支持纯粹基于属性的约束。