You are here: irt.org | FOLDOC | subtype
<programming> If S is a subtype of T then an expression of type S may be used anywhere that one of type T can and an implicit type conversion will be applied to convert it to type T.
In object oriented programming, this means that objects of type S must accept every message that one of type T would.
(1997-07-28)
Nearby terms: Subset-Equational Language « Substitute « substrate « subtype » subtyping » SuccessoR » successor
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL