4 ms·
For "strongly typed" I would expect some type checking.
by uecker 24d ago
For "strongly typed" I would expect some type checking.
- TheOtherHobbes 24d agoTrue for IEE754 floating point operations, which are constrained to valid bit patterns. An operation on an invalid pattern - can happen with uninitialised memory - throws an exception. Otherwise, no.
- uecker 24d agoThis is still not type checking, it accepts whenever the bit pattern is a valid for floating point even when it originally was used as another type.
- Dylan16807 24d agoWhat do you mean by invalid patterns? Signalling NaNs? I wouldn't really call those invalid, but also that's only about one in a thousand bit patterns. If it kicks in less than 1% of the time it's not really "type checking".