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.
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.
No comments yet.