Typed object-oriented language

Typed object-oriented language refers to an object-oriented programming language that is based on a typing ofobjects. In statically typed object-oriented languages, the type consistency of expressions and assignments can already be checked during compilation, whereas in dynamically typed object-oriented languages this check is sometimes only possible at runtime. Typed object-oriented languages offer restricted polymorphism.