F＃（キロメートル - >メートル）での自動計測単位の変換

Question

同じ次元の単なる乗算器である測定単位を自動変換できることは素晴らしいことです。 （kg - > g、cm - > mm、km - > m）。私は、オンラインで何を読んでから：

https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure https://fsharpforfunandprofit.com/posts/units-of-measure/

私はヘルパー関数なしでこの作業を持ってすることはできないようです。私の見解では、これらの変換は計算を汚染します。私はこのようなものが動作するようにしたい：

[<Measure>] type m 
[<Measure>] type km = 1000 * m 

以下のいずれかが動作しません。

let distance = 1000 * 10**3 <m> 

これは他の方法で達成できますか？

Answer 1

私はF＃は分かりませんが、ええ、単位を丁寧に計算します。そのため、入力中にのみ値を変換する必要があります（たとえば、form file/stdinの読み込みなど）。計算は常に同じ単位で行い、メトリックシステムはここに入ります。最後に、結果をメトリックシステムから任意の単位に変換します。あなたはすべてが同じ単位であるが、最終的に、それはケースではないことが判明していること「を前提と」とき

それは後で