Rustのenumの集合論的な見方：直和集合としてのenum - Qiita

RustのenumはC++やJavaとは異なり非常に柔軟性の高いデータ構造になっている。これは代数型データ構造というもので、関数型言語やTypeScriptなどには実装されているものなのだが、知らない人にとっては慣れないものなので、簡単に説明するのが本記事の趣旨である。 直和集合 Rustのenumは代数的データ型というもので、これは集合論では直和集合に相当する。 本記事では立ち入らないが、structは直積集合に対応する。 直和集合とは和集合に近い概念で、二つの集合をそのままくっつけたものである。記号は$\sqcup$を使う。和集合との違いは共通部分の扱いで、共通部分がない場合は直和集合と和集合は一致する。 具体例を見たほうが早いと思うので、例を見てみよう。