top | item 47128467 (no title) lock1 | 6 days ago I'm curious, if tagged unions are a subset of sum type, what is your definition of "sum type"?AFAIK, tagged union is sum type, based on sum type mathematical definition. discuss order hn newest 9rx|6 days ago On second thought, I agree with your definition. So Go does, in fact, have tagged unions.
9rx|6 days ago On second thought, I agree with your definition. So Go does, in fact, have tagged unions.
9rx|6 days ago