A data type whose values belong to one of several alternatives, with a logical tag distinguishing the chosen alternative. If
Number n and Operator op are its constructors, pattern matching can distinguish the variants even if their payloads use similar representations. The tag need not occupy a separate physical memory field in every implementation. Articles by others on the same topic
There are currently no matching articles.