Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
lock1
4mo ago
0 comments
Save
Share
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
1 comments · 1 top-level
top
newest
oldest
9rx
4mo 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
