这样说是不是真的：F#中没有分数单位
【问题讨论】：
除了已经说过的内容之外，有关（不仅仅是）F# 度量单位的信息的最佳资源是Andrew Kennedy's PhD thesis，他实际设计了 F# 单位。他提到了分数单位：
最重要的决定是是否允许小数指数 的尺寸。反对他们的论据是哲学的：一个数量与 像 M1/2 这样的维度在物理上是没有意义的，如果出现这种情况，它 会建议修改一组基本尺寸，而不是重新评估 积分指数。赞成的论点是务实的：有时更容易 编写程序代码，临时创建一个值，其维数 分数指数。在本论文中，前一种观点占了上风，而分数 不考虑指数。然而，大多数理论只适用于 相同的;任何潜在的差异都会在出现时突出显示。
我认为这本质上是 F# 没有分数单位的原因，因为 F# 的设计非常接近 Andrew Kennedy 的工作，以确保它是合理的。
更新：在 F# 4.0 中，对小数指数的支持为 implemented
【讨论】：
带有小数指数的单位很常见，它们并没有什么特别之处。 可能技术界的每个人都遇到过电压噪声密度，它是按每平方 (Hz) 测量的。 这在物理上很有意义，噪声功率与带宽成正比，噪声电压是功率的平方，这里没有奇怪的数学。
每次遇到分数幂指数时都创建一个新的基本单位不是正确的方法。
这些单位不是 SI 单位，它们的使用破坏了库的兼容性。 如果你将 sqrtHz 定义为一个新单位，而我定义了 rootHz，我们的代码就不能一起工作。 无论如何，我需要引入相当多的基础单元才能拥有完整的集合 赫兹^-2、赫兹^3、赫兹^-5、... 顺便说一句，仅仅提供理性指数似乎是更好的选择。 Boost.units 就是这样做的。
【讨论】：
字面意义上的fractional power 度量单位的缺失无论如何都不会打折 F# 单位设施，因为它允许以相反的方式呈现看似fractional exponent 单位关系，而将最小分数作为基本维度：
let takeSqrt (x: float<_>) = sqrt(x)
以这种方式推断float<'u ^ 2> -> float<'u> 的签名，避免引入虚构的“自然分数”float<'u> -> float<'u^1/2>。
let moreComplicated (x: float<_>) (y: float<_>) =
sqrt(x*x + y*y*y)
已推断出float<'u ^ 3> -> float<'u ^ 2> -> float<'u ^ 3> 的签名，其中所有单位度量转换相对于某些派生的隐式基本维度float<'u> 保持有效。
下面这段代码的事实
[<Measure>]type m
let c = sqrt(1.0<m>)
甚至没有与诊断一起编译 The unit of measure 'm' does not match the unit of measure ''u ^ 2' 可以被认为是责备或祝福，但清楚地表明单位测量检查已经到位。
【讨论】：
takeSqrt 1.0<s>，因为返回类型没有整数幂。可以想象，在某些应用中，具有具体单位类型的分数幂会很有用。
m^1/2 的示例。当然，您可以创建派生单位，但无法用基本单位表示它是一个真正的限制，即使它在实践中相对罕见。
[<Measure>]type KIc [<Measure>]type Pa [<Measure>]type m = KIc^2/Pa^2 let pa:float<Pa> = 50.0<KIc> / sqrt 0.5<m>
m 单元，则可以使用，但不适用于内置的 SI.m，这自然是可取的。
编辑：在阅读了 OP 的评论和 Andrew Kennedy 的论文中的例外情况后，@nicolas 似乎是正确的——F# 不支持带小数指数的度量单位。
【讨论】：
答案不应该这么简单吗，是的，赫兹以 s^-2 为单位测量，与 s^(1/2) 相同？你去吧。 另外，我喜欢使用 的哲学思想，比如 m^(1/2) 如果它出现在计算中，也许有一天会理解这个单位的字面意义。
【讨论】：