.net - F# 测量单位如何工作？

Question

有没有人有机会深入了解F# 度量单位的工作原理？它只是基于类型的诡计，还是隐藏在下面的 CLR 类型可以（可能）从其他 .net 语言中使用？它适用于任何数字单位，还是仅限于浮点值（这是所有示例使用的）？

Answer 1

了解这一点的最佳（我认为是官方的）地方是 Andrew Kennedy 的博客。

以下是（当前）相关帖子。

• F# 中的度量单位：第一部分，单位介绍
• F# 中的计量单位：第二部分，单位转换
• F# 中的度量单位：第三部分，通用单位
• F# 中的度量单位：第四部分，参数化类型

正如我在您的回答者所指的帖子中所说，这绝对是您在 C# 中无法做到的事情（尽管我希望您能做到）。

Answer 2

根据下一篇相关博客文章的回复，它们是 F# 编译器中的纯静态机制。所以没有单位数据的CLR表示。

目前尚不完全清楚它是否适用于非浮点类型，但从类型系统的角度来看，理论上是可能的。