Revision as of 01:37, 2 March 2025 edit Rusty Cat (talk \| contribs) Extended confirmed users, IP block exemptions, New page reviewers, Pending changes reviewers, Rollbackers, Temporary account IP viewers 12,480 edits →Covariant arrays in Java and C#: extra space ← Previous edit		Revision as of 07:43, 18 March 2025 edit undo 180.150.37.222 (talk) Lead does not seem to match wiki guidelines Tag: Visual edit Next edit →
Line 1: {{Short description\|Programming language concept}}{{Lead rewrite\|date=March 2025}}{{Type systems}} ~~{{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.

Covariance and contravariance (computer science): Difference between revisions