#note
https://gakuzzzz.github.io/slides/cardinality_of_types/
型を集合としてみた時に、集合のサイズと同じ感じで型のサイズについても議論するというもの。
例えば、
- Boolean の Cardinality `|Boolean|` は 2
- `Maybe a` の Cardinality `|Maybe a|` は `1 + |a|`
- `Either e a` の Cardinality は `|Either e a|` は `|e| + |a|`
この辺でも紹介されていたりする
- https://www.parsonsmatt.org/2018/10/02/small_types.html
- https://leptonic.solutions/blog/algebraic-data-types-in-rust/