3 ms·
The author uses the term "union", but unfortunately they picked the one wrong term against a long list of correct alternatives: sum type, tagged union, discrimi
by ebingdom 5y ago
The author uses the term "union", but unfortunately they picked the one wrong term against a long list of correct alternatives: sum type, tagged union, discriminated union, coproduct, disjoint union, variant, algebraic data type, ...
"Union" does not imply disjointness (which is the source of many problems), whereas all those other terms do.
- valenterry 5y agoCorrect, I just continued to use the term of OP. Sum types r coproducts are what I mean.
- ebingdom 5y agoBy the "author", I meant the author of the article. I figured you were just being consistent with them.