Advantages of Typing
Clarifies usage, differentiates between things that are different.
Compilers can detect some errors early.
Compilers can use type information to improve performance:
- Generate integer instructions for integer data.
- Without types, need more runtime checks.