Zagnieżdżone typy związków w F #

Question

Czy istnieje sposób na skrzynowanie zagnieżdżonych typów związków w F #? Coś podobnego to

type MainType = 
    | A of 
     | AA of int 
     | AB of float 
    | B of int 

Answer 1

Nie, musisz oddzielić poszczególne rodzaje (jak w poście KvB za). Słyszałem o planach dodania polimorficznej wariancji (jak w ocaml) do F # , co pozwoliłoby zrobić coś podobnego.

W SML,

type mainType = 
    | A of [ `AA of int | `AB of float ] 
    | B of int 

Answer 2

Nie, nie sądzę. Nie wydaje się być dużo przewagi nad tworząc dwa oddzielne typy związków jak:

type NestedType = 
| AA of int 
| AB of float 

type MainType = 
| A of NestedType 
| B of int 

let mainValue = A (AA 1)