我可以定义一个跨度量维度通用的函数吗？

Question

我希望能够生成特定范围的随机数，这些随机数是 <'T> 可以是 [<Measure>] type X 或 [<Measure>] type Y 的度量

let GenerateLine<'T> (rnd:System.Random, min:int<_>, max:int<_>) : (int<_> * int<_>) =
  let v1:int< 'T > = rnd.Next(int(min),int(max)+1)
  let v2:int< 'T > = rnd.Next(int(min),int(max)+1)
  (v1,v2)

我也用inline 关键字在let 之后尝试了同样的方法

和

let GenerateLine (rnd:System.Random, min max) =
  let v1 = rnd.Next(min,max+1) * LanguagePrimitives.GenericOne
  let v2 = rnd.Next(min,max+1) * LanguagePrimitives.GenericOne
  (v1,v2)

还有

let GenerateLine< ^T> (rnd:System.Random, min:< ^T >, max:< ^T > ) =

但我似乎没有弄清楚这一点或遵循诸如此类的事情背后的逻辑 How to write a function for generic numbers?

如何编写跨度量通用的方法/函数？

Answer 1

这就是我在评论中的意思：

let GenerateLine (rnd:System.Random, min:int<'t>, max:int<'t>) : (int<'t> * int<'t>) =
  let v1 = rnd.Next(int(min),int(max)+1) |> LanguagePrimitives.Int32WithMeasure
  let v2 = rnd.Next(int(min),int(max)+1) |> LanguagePrimitives.Int32WithMeasure
  (v1,v2)

我已经移动了你的一些注释，但你基本上可以坚持你有的。一个关键的事情是，如果你想给你的函数一个显式的泛型参数，你需要用Measure 属性标记它：

let GenerateLine<[<Measure>]'t> ...

否则编译器期望它是一个常规的泛型类型参数。但我通常更喜欢让类型推断来处理函数是泛型的事实。