F# の測定単位はどのように機能しますか?

Question

誰かがその方法を掘り下げる機会がありましたか F# の測定単位 仕事？それは単に型ベースの不正行為なのでしょうか、それとも他の .net 言語から (潜在的に) 使用できる CLR 型がその下に隠れているのでしょうか?これはどのような数値単位でも機能しますか、それとも浮動小数点値 (すべての例で使用されているもの) に限定されますか?

Answer 1

によると 応答 次の関連ブログ投稿では、これらは F# コンパイラの純粋に静的なメカニズムであると説明します。したがって、単位データの CLR 表現はありません。

現在非 float 型で動作するかどうかは完全には明らかではありませんが、型システムの観点からは理論的には可能です。

Answer 2

これについて知るための最良の (そして公式だと思う) 場所は、Andrew Kennedy のブログです。

(現在の) 関連する投稿は次のとおりです。

• F# の測定単位:第 1 部、ユニットの紹介
• F# の測定単位:パート 2、単位変換
• F# の測定単位:パート 3、一般的な単位
• F# の測定単位:パート 4、パラメータ化された型

回答者が参照した投稿で述べたように、これは間違いなく C# では実行できないことです (できればいいのですが)。