F # Unités de mesure, des problèmes de généricité 2

Question

Faisant suite à this question, il me semble encore être aux prises avec les frontières de ce qui est possible, même si je ne pense pas que je fais quoi que ce soit bord particulièrement saignant:

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

Me donne erreur FS0039: Le paramètre d'unité de mesure 'u' n'est pas défini.

Et

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

Ça me donne erreur FS0191: les variables d'unité de mesure anonymes ne sont pas autorisés dans cette déclaration.

Est-ce le cas que les fonctions peuvent gérer des unités « génériques » de mesure, mais les types ne peuvent pas?

Answer 1

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

devrait faire l'affaire

Note: Ceci est exact à la 1.9.6.2 version CTP mais cette api est pas considéré comme stable