F# 度量单位不会简化

Question

假设已定义此类度量：

[<Measure>] type kilogram
[<Measure>] type kg = kilogram

[<Measure>] type s

当我定义这样的绑定时：

let x = 1.<kg / kilogram> // Type of x: float

F# 正确地将 x 的类型从 float<kg/kilogram> 简化为 float。 但是当我添加另一个这样的单元时：

let y = 1.<kg s / kilogram> // Type of y: float<kg s / kilogram>

不是将 y 的类型简化为float<s>，而是显示float<kg s / kilogram>

在这种情况下，为什么 F# 不简化它？我做错了吗？

Answer 1

据我所见，基于几个实验，编译器在简化过程中使用kg = kilogram这一事实的唯一地方是最终类型是无单位的，即float<1>类型。在我尝试过的所有其他情况下，它将kg 和kilogram 保留在单元类型中。

我怀疑编译器仍然知道1.<kg/kilogram> 的类型是kg/kilogram，但是因为这相当于1，所以它不显示它——它显示float 而不是float<1> 或@987654330 @。

值得注意的是，简化是在实际需要时发生的 - 如果您尝试将值 1.<kg s / kilogram> 与值 1.<s / 1> 进行比较，这是正确的类型：

let y = 1.<kg s / kilogram>
y = 1.<s/1>

我没有确凿的证据（例如规范的链接），但我认为编译器只会在实际需要时进行简化，否则会在您编写单元注释时保留它们。