Re:TypeScript’s quirks: How inconsistencies make the languag...
by marcosdumay on Saturday February 01, 2020 @10:15AM
(#22210891)
What you are describing is still an ADT. It's just a different syntax.
Indeed, your examples of the TS syntax are more convenient than ML, but that is reversed when going the other way, and decomposing the types into smaller sums instead of composing.
Indeed, your examples of the TS syntax are more convenient than ML, but that is reversed when going the other way, and decomposing the types into smaller sums instead of composing.