arrays - 配列から測定単位を取り除く

Question

を必要とする外部関数を呼び出していますfloat[]が、配列はfloat<m>[]です。配列から測定単位を取り除くにはどうすればよいですか？

以下の関数のようなものが必要ですが、これはコンパイルされません。float<m>また、float値は同じであるため、配列の反復や複製は避けたいと思います。

let demeasure (arr:float<m>[]): float[] = float[] (arr)

Answer 1

へのキャストとobjそれに続く動的なキャストがfloat[]機能すると思います。

(arr :> obj) :?> float[]

ランタイム表現がないためです。

おそらくも参照してください

F＃測定単位-'値を持ち上げてfloat<何か>

F＃の測定単位を一般的に削除する方法

Answer 2

[<Measure>]type m
let f (arr : float[]) : float = 0.0
let arr = [|1.0<m>|]
f (unbox (box arr))

Answer 3

let demeasure (arr: float<m>[])  = arr |> Array.map (fun i -> float i)