Content deleted Content added
m →Contravariant method parameter type: +links |
→top: The lead doesn't need to be rewritten IMO. There are some things that could be improved, I suppose, but nothing major. Please be more specific if needed. |
||
Line 1:
{{Short description|Programming language concept}}
{{Type systems}} Many [[programming language]] [[type system]]s support [[subtyping]]. For instance, if the [[type (computer science)|type]] {{C sharp|Cat}} is a subtype of {{C sharp|Animal}}, then an [[expression (computer science)|expression]] of type {{C sharp|Cat}} [[Liskov_substitution_principle|should be substitutable]] wherever an expression of type {{C sharp|Animal}} is used.
| |||