Re:Should You Use Upper Bound Version Constraints (In Python)?
by LegionMammal978 on Tuesday April 16, 2024 @06:34PM
(#40058127)
Since when has static typing eliminated backward-compatibility problems in interfaces? Not all visible runtime behavior can be encoded in the type system, unless you're using a proof assistant or formal-verification system.
[ Parent
| on HN ]
Re:Should You Use Upper Bound Version Constraints (In Python)?
by AlotOfReading on Tuesday April 16, 2024 @07:04PM
(#40058386)
Even formal verification misses visible behaviors, the line is just a little farther down. Correct runtime visible behavior can also include side effects like the amount of time taken (e.g. constant time cryptography), or even the amount of heat generated [0]. You're not going to encode everything you could possibly want in a type system without modeling the entire universe, so draw an opinionated line somewhere reasonable and be happy with it.