Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/fsharp/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/csharp-4.0/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Generics 将F#泛型函数约束为并集类型?_Generics_F#_Discriminated Union - Fatal编程技术网

Generics 将F#泛型函数约束为并集类型?

Generics 将F#泛型函数约束为并集类型?,generics,f#,discriminated-union,Generics,F#,Discriminated Union,根据标题,有没有办法将F#泛型函数约束为并集类型?到目前为止,我正在使用: let toDomain<'T> external: 'T option = assert FSharpType.IsUnion(typeof<'T>) ... let toDomainNo 如果您查看一下IsUnion的属性,并稍微遵循一下代码,它归结为检查属性/参数的存在 目前,无论是在F#还是在.NET中,都不支持纯粹基于属性的约束。您在这里提出了几个问题,这些问题似乎推动

根据标题,有没有办法将F#泛型函数约束为并集类型?到目前为止,我正在使用:

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

如果您查看一下IsUnion的属性,并稍微遵循一下代码,它归结为检查属性/参数的存在


目前,无论是在F#还是在.NET中,都不支持纯粹基于属性的约束。

您在这里提出了几个问题,这些问题似乎推动了F#类型系统的发展。你有没有考虑过更惯用的方法?你到底想做什么?@MarkSeemann-我们有很多映射“粘合”代码,在我们建立的C代码库和更新的F代码库之间。我们实际的F#是功能性的,但目前映射C#类型涉及大量重复的代码,这影响了我们的可伸缩性,因此我一直在考虑编写更通用的代码。在您编写的代码中,您希望能够编写
let testThings=toDomain doexternathings
。让testThings=MyModule.MappedThings-Doexternathings
更好吗?本机F#语法比您要进行的函数调用要短,并且类型安全……我可以理解您的观点。我的现实世界的例子要复杂得多,在我想要执行映射时,我有一个obj,因此需要反思我的工会,不知道哪种情况采用这种obj类型。这导致到处都有大量重复的映射代码。