F # Maßeinheit, Casting ohne Verlust des Maßtyps
Gibt es eine eingebaute Version der Typumwandlungsfunktionen, die Einheiten bewahren, und wenn nicht, wie würde ich sie erstellen? Wie würde ich zum Beispiel mit diesem Code intWithSecondsMeasure in einen Float umwandeln, ohne die Kennzahl zu verlieren oder mit zu multiplizieren?1.0<s>
?
[<Measure>] type s
let intWithSecondsMeasure = 1<s>
let justAFloat = float intWithSecondsMeasure