3 ms·

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

by lock1 7mo 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.

9rx 7mo ago
On second thought, I agree with your definition. So Go does, in fact, have tagged unions.