サブタイピングがめちゃくちゃ複雑化するし

1:42 AM

Union Type は以前 swift-evolution でも議論されてたけど、概ね否定的な感じでした。

1:43 AM

個人的にはほしいときはありますが、

1:44 AM

基本的には Union みたいな Non-nominal type は必要最小限に留めて使うべきで、

1:44 AM

正しい用法用量を求めるのが難しそう・・・。まあ、それを言い出したらタプルと struct もすでにあるんですが。

1:45 AM

あと、 Smart cast もないと Union Type は使い物にならない。