From what I understand(which isn't much because I haven't learned Ada beyond hello world.) It is more or less java before there was a Java, all memory access,

From what I understand(which isn't much because I haven't learned Ada beyond hello world.) It is more or less java before there was a Java, all memory access, array indexes, etc. are checked at run time. Strong type system, no implicit casts. The language was designed to be amiable to automated verification. You can see this in the way close tags are done. There is no generic end of block. There is end if, end loop, end function name. This way the compiler can narrow down exactly where the missing end block is in your code.