Problem
1. Discuss the truth or falsity of the following statement, and discuss its relevance. "A program can be unsafe and yet execute without type errors for all possible input data."
2. An index check verifies that the index of an array is in the bounds declared for the array. Can index check be performed statically? Why? Why not?
3. What is a strong type system? Why is it useful?