7.1 Chapter Objectives

• Compare the two varieties of type systems for type checking in programming languages: statically typed and dynamically typed.

• Describe type conversions (e.g., type coercion and type casting), parametric polymorphism, and type inference.

• Differentiate between parametric polymorphism and function overloading.

• Differentiate between function overloading and function overriding.