Conversion automatique des unités de mesure en F # (kilomètres -> mètres)

Question

Ce serait génial de pouvoir convertir automatiquement des unités de mesure, qui ne sont que des multiplicateurs de même dimension. (kg -> g, cm -> mm, km -> m). D'après ce que j'ai lu en ligne:

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

Je ne semble pas possible d'avoir ce travail sans fonctions d'aide. De mon point de vue, ces conversions polluent les calculs. Je veux quelque chose comme ceci pour fonctionner:

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

Le dessous ne fonctionnerait pas non plus.

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

Est-ce réalisable d'une autre manière?

Answer 1

Je ne connais pas F #, mais oui, les unités poluent les calculs. C'est pourquoi vous ne devez convertir les valeurs que lors de la saisie (par exemple en lisant le fichier/stdin), faire des calculs toujours dans les mêmes unités, le système métrique est ici. Puis, à la fin, convertissez le résultat du système métrique à l'unité que vous voulez.

De cette façon, il est très facile d'ajouter le support pour la nouvelle unité plus tard