FsYaml

FsYaml copied to clipboard

判別共用体の値をケースなしで表現する方法を提供する(Provide a way to represent values of DUs without cases)

14

## 概要 ~~TaglessUnion~~ InferUnionCase 属性のついた判別共用体型の値は、YAML 上でケースタグを用いない形で表現されるものとします。 ## 議論の余地 現在は以下のような仕様になっていますが、これらは議論の余地があるでしょう。 - [x] フィールドなしのケースタグは null に対応します。 - [X] ~~オブジェクトが複数のケースとして解釈できる場合は、最初に定義されたケースタグが選択されます。~~ 引数が重複しているユニオンケースの引数の型が一意でない場合は、エラーとします。 ## 参考 Issue #22

vain0x

``` [] type t = Hoge of int | Piyo of string - 1 # Hoge - "piyo" # Piyo [] // 要素の順番で解決する type t = Hoge of int *...

hafuu

hafuu

hafuu

hafuu

bleis-tift