Nominal typing structural typing

A type system where Type compatibility is determined by explicit declarations (class names, inheritance hierarchy), not structure - class A and class B are different even if identical in shape.