フィールドの型から判別共用体のケースを推論する

[hafuu]

[<値の型が違えば名前は省略できる属性>]
type t = Hoge of int | Piyo of string
- 1      # Hoge
- "piyo" # Piyo

[<値の型が違えば名前は省略できる属性>]
// 要素の順番で解決する
type t = Hoge of int * string | Piyo of string list
- [ 1, "hoge" ]   # Hoge
- [ "2", "piyo" ] # Piyo

[<値の型が違えば名前は省略できる属性>]
type t = Hoge of int * string | Piyo of int * int * int
- [ 1, "hoge" ] # Hoge
- [ 1, 2, 3 ]   # Piyo

[<値の型が違えば名前は省略できる属性>]
type t = Hoge of int list | Piyo of string list
- [ 1, 2, 3 ]
- [ "a", "b", "c" ]