F# 度量單位如何工作？

Question

有沒有人有機會深入了解F# 度量單位的工作原理？ 它只是基於類型的詭計，還是隱藏在下面的 CLR 類型可以（潛在地）從其他 .net 語言中使用？ 它適用於任何數字單位，還是僅限於浮點值（這是所有示例都使用的）？

Answer 1

了解這一點的最佳（我認為是官方的）地方是 Andrew Kennedy 的博客。

以下是（當前）相關帖子。

• F# 中的度量單位：第一部分，介紹單位
• F# 中的度量單位：第二部分，單位轉換
• F# 中的度量單位：第三部分，通用單位
• F# 中的度量單位：第四部分，參數化類型

正如我在您的回答者提到的帖子中所說的那樣，這絕對是您在 C# 中無法做到的事情（盡管我希望您能做到）。

Answer 2

根據下一篇相關博客文章的回復，它們是 F# 編譯器中的一種純靜態機制。 所以沒有單位數據的 CLR 表示。

目前還不完全清楚它是否適用於非浮點類型，但從類型系統的角度來看，理論上是可能的。