Subtyping
id:
subtyping-251-14547848
title:
Subtyping
text:
In programming language theory, subtyping is a form of type polymorphism. A subtype is a datatype that is related to another datatype by some notion of substitutability, meaning that program elements, 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 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
brand slug:
wiki
category slug:
encyclopedia
description:
Form of type polymorphism
original url:
https://en.wikipedia.org/wiki/Subtyping
date created:
date modified:
2024-03-29T16:14:32Z
main entity:
{"identifier":"Q2713292","url":"https://www.wikidata.org/entity/Q2713292"}
image:
fields total:
13
integrity:
14