|
|
|
|
|
|
by bnpxft
460 days ago
|
|
|
Yes exactly. The real world is full of examples of a fixed set of exclusive options. A programming language without sum types and exhaustive pattern matching in its type system is unable model this real world concept in its type system. |
|
|