No major programming language offers a range-checked integer type (for arbitrary user-specifiable ranges, both max and min) as part of its standard library.
Automatic range checking and exceptions when an operation exceeds the bounds.
Maybe formal verification and optimization if a certain operation provably will not exceed the range.
No comments :
Post a Comment