>> Doesn’t Ada have bounds checking? Yes. Ada numeric types can be defined to only allow a specific range of values: Integer types: http://www.ada-auth.org/s

>> Doesn’t Ada have bounds checking? Yes. Ada numeric types can be defined to only allow a specific range of values: Integer types: http://www.ada-auth.org/standards/12rm/html/RM-3-5-4.html http://www.ada-auth.org/standards/12rm/html/RM-3-5-4.html Floating-Point types: http://www.ada-auth.org/standards/12rm/html/RM-3-5-7.html http://www.ada-auth.org/standards/12rm/html/RM-3-5-7.html >> It would be nice to have some flag to turn it off, to increase the speed mode. Many Ada implementations have compile flags to turn off runtime bounds checking.