If the language supports untagged unions, it isn't strongly typed. With very few... | Hacker News

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

TheLoneWolfling on June 10, 2014 | parent | context | favorite | on: Types Are The Truth

If the language supports untagged unions, it isn't strongly typed. With very few exceptions.

tomp on June 10, 2014 [–]

Untagged unions between two non-pointer types with the same representation (same number of bits) are perfectly safe, they are just ordinary bit-casts.

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