Questions Tagged [subtyping]

In programming language theory, subtyping or subtype polymorphism is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability. Substitutability means that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype.

Question is empty. Ask new Question

Popular Questions