The dynamic type refers to the actual type of an object at runtime. It may differ from its static (declared) type and is determined based on the specific instance assigned to it during program execution.
The static type refers to the declared type of a variable or expression at compile-time.
Type Inference: Type inference is a feature in some programming languages where the compiler automatically determines the data type of a variable based on its assigned value.
Late Binding: Late binding is a mechanism where the specific implementation of a method is determined at runtime rather than compile-time.