News for hackers. Stuff that matters.

A comment on Why Reliability Demands Functional Programming. Parent comment

Re:Why Reliability Demands Functional Programming by jadsfwasdfsd on Sunday December 28, 2025 @10:42AM (#46411845)
> but in C, you pretty much always want the tag

We aren't discussing unions in memory layout, but in type systems. This also clearly indicates you aren't qualified for this discussion.

[ Parent | on HN ]
Re:Why Reliability Demands Functional Programming by cubefox on Sunday December 28, 2025 @11:52AM (#46412397)
To be fair, even Wikipedia talks about "untagged unions" only in the context of C. The terminology is confusing and the literature often out of date.
[ Parent | on HN ]
Re:Why Reliability Demands Functional Programming by jesse__ on Sunday December 28, 2025 @03:39PM (#46414270)
I believe that, by the description provided, most languages that you're talking about must actually represent 'untagged unions' as tagged unions under the hood. See my sibling comment. I'm curious
[ Parent | on HN ]