Verschachtelte Union-Typen in F #

Question

Gibt es eine Möglichkeit, verschachtelte Union-Typen in F # zu kisten? So etwas wie das

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

Answer 1

Nein, Sie werden die Typen trennen müssen (wie in kvb der Post). Ich habe von Plänen gehört, polymorphe Varianz (wie in ocaml) zu F # hinzuzufügen, die Ihnen erlauben würde, etwas Ähnliches zu tun.

In ocaml,

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

Answer 2

Nein, ich denke nicht. Das scheint nicht viel Vorteil zu sein, über die Schaffung von zwei getrennten Gewerkschaftstypen wie:

type NestedType = 
| AA of int 
| AB of float 

type MainType = 
| A of NestedType 
| B of int 

let mainValue = A (AA 1)