F＃のネストされたユニオンタイプ

Question

ネストされたユニオンタイプをF＃で作成する方法はありますか？このようなもの

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

Answer 1

をいいえ、あなたは（KVBのポストのように）型を分離する必要があります。 私はF＃ に多形性の分散（ocamlのような）を追加する計画について聞いたことがあります。 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)