| ▲ | lock1 3 hours 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 2 hours ago | parent [-] | |
On second thought, I agree with your definition. So Go does, in fact, have tagged unions. | ||