mayur_naik@my-deja.com writes:> Does any language or any machine provide some mechanism to:>> 1. index an array without checking its bounds> 2. throw an exception if the index was actually out of range> 3. allow the programmer to catch and handle the exception rather than> terminate the program

Well, Ada does. The strong typing gives information to the compiler for it to
deduce when range checking is not needed: