Как указать предложение union с общей единицей измерения в F #?

Нужно ли вообще определить DU, чьи предложения используют общую единицу измерения? например.

type MyDU =
| A  of int<_>
| B  of float<_>

этот код не компилируется, но я могу указать регулярную функцию, которая принимает числовое значение с общей единицей измерения:

let f (n : int<_>) = n * n;;
val f : int<'u> -> int<'u ^ 2>

учитывая, что каждое предложение union в конечном счете является функцией, которая преобразует тип, указанный после of, в частные типы MyDU.A или MyDU.B, есть ли конкретная причина, почему он работает над определением функции, но не определяет определение?

Есть ли способ сделать то, что я хочу здесь сделать? Если нет, я хотел бы знать, почему это тоже не сработает!

Спасибо,

Ответы

Ответ 1

Вам нужно использовать общий союз -

type MyDU<[<Measure>] 't> =
    | A  of int<'t>
    | B  of float<'t>

Это beacause a int<m> отличается от int<s>.

Обратите внимание, что это не относится к измерению типов, это также относится к таким вещам, как использование объединения для создания списков и т.д.