度量单位是可以添加到浮点数或整数的其他类型注释。它们可用于在编译时验证计算是否一致使用单位。
要定义注释:
[<Measure>] type m // 米 [<Measure>] type s // 秒 [<Measure>] type accel = m/s^2 // 加速度定义为米/秒平方
定义后,便可以使用注释来验证表达式产生的预期类型。
// Compile-time checking that this function will return meters, since (m/s^2) * (s^2) -> m // 因此,我们知道在计算中已正确使用了单位。 let freeFallDistance (time:float<s>) : float<m> = 0.5 * 9.8<accel> * (time*time) // 在调用站点上也将其明确显示,因此我们知道传递的参数应该以秒为单位 let dist:float<m> = freeFallDistance 3.0<s> printfn "%f" dist