无论如何定义一个DU,其条款使用通用计量单位?例如
type MyDU =
| A of int<_>
| B of float<_>
此代码无法编译,但我可以指定一个常规函数,该函数接受具有通用度量单位的数值:
let f (n : int<_>) = n * n;;
val f : int<'u> -> int<'u ^ 2>
考虑到每个 union 子句最终都是一个函数,它转换
of
之后指定的类型到私有(private)类型 MyDU.A
或 MyDU.B
为什么它适用于函数定义而不适用于类型定义有什么特别的原因吗?有没有办法在这里做我想做的事?如果没有,我很想知道为什么它也不起作用!
谢谢,
最佳答案
您需要使用通用联合 -
type MyDU<[<Measure>] 't> =
| A of int<'t>
| B of float<'t>
这是因为
int<m>
与 int<s>
不同.请注意,这并不特定于度量类型,它也适用于使用联合创建列表等。
关于generics - 如何在 F# 中使用通用计量单位指定联合子句?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11862162/