F# Units of measure, problems with genericity 2 -


After the question, I am still struggling with boundaries, although I do not think that I Bleeding edge:

  type vector2d = {X: float & lt; 'U & gt ;; Y: Float & lt; 'U & gt; }  

gives me the error FS0039: the unit's measurement parameter 'U' is not defined.

and

  type Vector2d = {X: float & lt; _ & Gt ;; Y: Float & lt; _ & Gt; }  

I error FS0191: This declaration does not allow unknown entity-of-measurement variables.

Is this the case that you can control the normal 'units' of work measurements, but can not type?

  type vector 2D & lt [& lt; Remedy & gt;] 'u & gt; = {X: float & lt; 'U & gt ;; Y: Float & lt; 'U & gt; }  

should do the trick

Note: this is correct as the 1.9.6.2 CTP release, but this API is not currently stable


Comments