undefined | Better HN

0 pointslock12mo ago0 comments

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.

0 comments

9rx2mo ago

On second thought, I agree with your definition. So Go does, in fact, have tagged unions.

j / k navigate · click thread line to collapse

9rx2mo ago

On second thought, I agree with your definition. So Go does, in fact, have tagged unions.

j / k navigate · click thread line to collapse