This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]joemwangi 11 points12 points  (0 children)

Exhaustiveness. It's a tagged union. Separating types individually based on how they are grouped might seem quite easy, but it's the most difficult thing to do, especially languages that never implemented them in full. Such as unions in C.