如何一般删除 F# 测量单位

Question

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

我开始升级它以在各处​​添加测量单位，但现在我的 csv 函数出现问题：（

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

参数是文件名、列数组、列标题、分隔符）

我之前将 [|s;x;y|] 发送到的位置WriteCSV，我现在遇到问题，因为我无法发送[|skm; xmm； 嗯|]。

我尝试编写一个函数来一般删除测量单位，但它不起作用。

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<'u>; -> 浮动

Answer 2

另一种方法是使用 LanguagePrimitives.FloatWithMeasure 函数。

例如：

let removeUnit (x: float<'u>) =
  x / (LanguagePrimitives.FloatWithMeasure<'u> 1.0)

它的类型签名为：

val removeUnit: x: float<'u> -> float