Union Types and Option Types (2025)

32 points14 commentsa day ago
gnabgib

(2025) And about CopperLang (203 points, 3 days ago, 120 comments) https://news.ycombinator.com/item?id=50308754

p1necone

One simple but non obvious (at least to me) trick when implementing tagged unions: put the union discriminator/tag at the end, not the beginning - that way a pointer to a union is also a pointer to the value, no need to increment the pointer to point past the tag after discriminating.

show comments
cardboardguru

Swift has already answered all these questions.

ks2048

What is the best source for cross-language description of language features? Eg: “optional types”: which langs have them and how do they work? Same with “union types” etc.

show comments
direwolf20

i read Onion Types

show comments
[deleted]