3 ms·

I hope you agree that's ridiculous. No comparison without explicit casts is a valid design choice. I think Ada and Rust work that way, though I've never used e

• magicalhippo 6y ago
  > No comparison without explicit casts is a valid design choice. Sure, but that wasn't the claim.
  • cygx 6y ago
    Yeah, there was some interpretation of the intent behind the comment on my part (cf "you probably want it to be a static type error"). How you view the claim itself depends on your thoughts about the level at which equality should operate (should type tags be considered part of a value's identity, is it about the bit representation, or the abstract value encoded by that representation, ...)