Типы вложенных соединений в F #

Question

Есть ли способ вставить вложенные типы соединений в F #? Что-то вроде этого

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

Answer 1

Нет, вы должны отделить типы (как в пост KVB в). Я слышал о планах добавить полиморфную дисперсию (как в ocaml) к F # , которая позволит вам сделать что-то подобное.

В OCaml,

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

Answer 2

Нет, я так не думаю. Не кажется, много преимуществ над созданием двух отдельных типов профсоюзов, как:

type NestedType = 
| AA of int 
| AB of float 

type MainType = 
| A of NestedType 
| B of int 

let mainValue = A (AA 1)