Language Design Trade-Offs
Reliability vs. Cost of execution
Ada has range checking. ( Code added by compiler)
C has no range checking.
Flexibility vs. Safety
Pascal's type checking allows a program to do arithmetic on pointers.