I'm curious, if tagged unions are a subset of sum type, what is your definition ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		lock1 31 days ago \| parent \| context \| favorite \| on: Ladybird adopts Rust, with help from AI 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 31 days ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact