Tuesday, February 26, 2013

[hbblmude] Ranged integer type

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.

Using profiling to automatically pick a range.

No comments :