如何一般性地删除F＃度量单位

Question

我有一些数据操作代码，最后会吐出csv。

我开始升级它以在任何地方添加度量单位，但我现在遇到了我的csv函数问题：

val WriteCSV : string -> 'a list array -> 'b list -> string -> unit

（参数是fileName，列数组，列标题，分隔符）

我先前将[| s; x; y |]发送到WriteCSV，我现在遇到了问题，因为我无法发送[| skm; XMM; YMM |。]

我尝试编写一个通常删除度量单位的函数，但它不起作用。

let removeUnit (n:float<_>) = n/1.0<_>

我的问题是：

• 为什么不起作用？
• 能使它起作用吗？
• 有没有其他方法可以解决这个特殊问题？

Answer 1

如果我的问题正确，将其转换为“纯”浮动会移除单位。 例如：

[<Measure>] type m
[<Measure>] type km

let removeUnit (x:float<_>) =
    float x

let foo = removeUnit 2.6<m>
let foo2 = removeUnit 2.1<km>

  

val removeUnit：float＆lt;'u＆gt; - ＆GT;浮