有誰知道爲什麼[度量>]類型僅增加一些代數類型? 這麼多有用的類型不能用度量增加看起來很奇怪。 type FooType =
| FooByte of byte<1> // Error
| FooSbyte of sbyte<1> // Ok
| FooInt16 of int16<1> // Ok
| FooUint16 of uint16<1> // Error
是否可以定義一個泛型數據類型和度量單位的函數?例如,我想這樣做,但不編譯(儘管它甚至會沒有現在的度量單位,但我相信我傳達我想要做什麼): let inline dropUnit (x : 'a<_>) = x :> typeof(a)
的想法這裏是我已經定義了一些度量單位,例如「公斤」和「l」和dicriminated工會: type Unit =
| Weight of float