3 ms·
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 i
by bnpxft 2y 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.