F # Jednostka miary, rzucanie bez utraty typu miary
Czy istnieje wbudowana wersja funkcji rzutowania typu, która zachowuje jednostki, a jeśli nie, jak je utworzyć? Tak więc na przykład z tym kodem, w jaki sposób rzuciłbym intWithSecondsMeasure na float bez utraty miary lub mnożenia przez1.0<s>
?
[<Measure>] type s
let intWithSecondsMeasure = 1<s>
let justAFloat = float intWithSecondsMeasure