Union Types and Option Types (2025)

(tibleiz.net)

14 points | by g0xA52A2A 1 day ago

4 comments

  • p1necone 19 minutes ago
    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.
  • gnabgib 1 day ago
    (2025) And about CopperLang (203 points, 3 days ago, 120 comments) https://news.ycombinator.com/item?id=50308754
  • direwolf20 47 minutes ago
    i read Onion Types