f# - F# 測定単位、汎用性の問題 2

Question

この質問に続いて、私はまだ可能なことの最前線で戦っているようですが、特に最先端を行っているとは思いません。

type Vector2d = { X: float<'u>; Y: float<'u> }

エラーFS0039が表示されます: 測定単位パラメーター 'u' が定義されていません。

と

type Vector2d = { X: float<_>; Y: float<_> }

エラーFS0191が表示されます: 匿名単位変数は、この宣言では許可されていません。

関数は「一般的な」測定単位を処理できますが、型は処理できませんか?

Answer 1

type Vector2d<[<Measure>]'u> = { X: float<'u>; Y: float<'u> }

トリックを行う必要があります

注: これは 1.9.6.2 CTP リリースの時点では正しいですが、この API は現在安定しているとは見なされていません。