subtyping
Sign in to saveIn programming language theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements (typically subroutines or functions), written to operate on elements of the supertype, can also operate on elements of the subtype.
Wikidata facts
- Subclass of
- polymorphism
- Part of
- type system
Show 2 more facts
- P1552
- variance
- P1382
- inheritance
via Wikidata · CC0
Article
16 sectionsContents
- Origins
- Examples
- C++
- Python
- Java
- Subsumption
- Subtyping schemes
- Record types
- Width and depth subtyping
- Function types
- Relationship with inheritance
- Coercions
- See also
- Notes
- References
- Further reading
In programming language theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements (typically subroutines or functions), written to operate on elements of the supertype, can also operate on elements of the subtype.
If S is a subtype of T, the subtyping relation (written as , , or ) means that any term of type S can safely be used in any context where a term of type T is expected. The precise semantics of subtyping here crucially depends on the particulars of how "safely be used" and "any context" are defined by a given type formalism or programming language. The type system of a programming language essentially defines its own subtyping relation, which may well be trivial, should the language support no (or very little) conversion mechanisms.