Static Type: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.