Covariance and contravariance (computer science): Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 14:4514:45, 22 June 2024‎ W.andrea talk contribs‎ 54,126 bytes +35‎ →‎Summary of variance and inheritance: no citations undo
curprev 12:4612:46, 22 June 2024‎ 212.92.201.134 talk‎ 54,091 bytes −40‎ I was deleting Scala from the table "The following table summarizes the rules for overriding methods in the languages discussed above." As far as I know, Scala non-generic (concrete) parameters have no contravariance, and no covariance either (except return type). Scala supports contravariance (and covariance) with generic parameters (in generic classes and generic methods) and with abstract types (for example: type T <: A). undo

curprev 21:4221:42, 23 December 2023‎ W.andrea talk contribs‎ 54,131 bytes +4‎ Undid revision 1191354127 by DuncanSungWKim (talk). Cf. verbiage at Function (mathematics). undo Tag: Undo
curprev 01:0501:05, 23 December 2023‎ DuncanSungWKim talk contribs‎ m 54,127 bytes −4‎ No edit summary undo Tags: Reverted Visual edit: Switched

curprev 11:3511:35, 11 September 2023‎ 180.233.127.65 talk‎ 54,131 bytes +35‎ →‎Summary of variance and inheritance: Made table layout more logical undo Tags: Mobile edit Mobile web edit

curprev 06:4506:45, 13 August 2023‎ 209.203.60.197 talk‎ 54,096 bytes 0‎ →‎Formal definition undo

curprev 16:0316:03, 10 August 2023‎ Kali the ilo talk contribs‎ m 54,096 bytes 0‎ OCaml does not permit types to be capitalized. undo

curprev 01:0701:07, 16 July 2023‎ Jlwoodwa talk contribs‎ m 54,096 bytes +11‎ upd link undo

curprev 21:0921:09, 11 July 2023‎ Vilhelm.s talk contribs‎ 54,085 bytes −5‎ →‎C# examples: "fatal" could be either a run-time or compile-time error undo
curprev 20:5520:55, 11 July 2023‎ Vilhelm.s talk contribs‎ 54,090 bytes −273‎ this paragraph was just wrong undo

curprev 19:2419:24, 22 June 2023‎ W.andrea talk contribs‎ 54,363 bytes +275‎ →‎top: WP:REFERS. Bold "Invariant". Add a bunch of links. Grammar. undo
curprev 03:3303:33, 22 June 2023‎ Cngzz1 talk contribs‎ 54,088 bytes +338‎ Add in-line citation and information undo

curprev 13:1413:14, 17 June 2023‎ Citation bot talk contribs‎ 53,750 bytes +20‎ Add: date. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 193/999 undo

curprev 17:4117:41, 3 June 2023‎ WikiCleanerBot talk contribs‎ m 53,730 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 02:3102:31, 30 May 2023‎ W.andrea talk contribs‎ 53,730 bytes −1,204‎ Remove duplicate citations. undo
curprev 02:0802:08, 30 May 2023‎ Cngzz1 talk contribs‎ 54,934 bytes +1,602‎ Remove duplicate references, use {{rp}} instead. Fixed citation formatting and added author name. Added more inline citations. undo

curprev 20:1720:17, 29 May 2023‎ W.andrea talk contribs‎ 53,332 bytes −170‎ →‎C# examples: Remove duplicate references, use {{rp}} instead. undo
curprev 07:4307:43, 29 May 2023‎ Cngzz1 talk contribs‎ m 53,502 bytes +354‎ Add reference for for C#. undo

curprev 13:5713:57, 30 April 2023‎ MichaelMaggs talk contribs‎ 53,148 bytes +51‎ Adding local short description: "Programming language concept", overriding Wikidata description "subtyping property of a generic type in a programming language" undo Tag: Shortdesc helper

curprev 21:3521:35, 1 April 2023‎ 73.223.72.200 talk‎ 53,097 bytes +141‎ →‎Formal definition: Resolve clarification needed by switching to same notation used in body. Also add sentence to explicitly define the notation. undo Tag: nowiki added

curprev 20:5920:59, 22 March 2023‎ Liquidev talk contribs‎ 52,956 bytes −170‎ Remove poorly worded and misguiding sentence about using `dynamic` in C# to circumvent static typing and work around variance undo Tag: Visual edit: Switched

curprev 21:5621:56, 8 March 2023‎ 184.151.246.79 talk‎ 53,126 bytes +1‎ typo and redundant link undo

curprev 21:4421:44, 5 November 2022‎ Citation bot talk contribs‎ 53,125 bytes +24‎ Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2715/3850 undo

curprev 18:1018:10, 17 October 2022‎ W.andrea talk contribs‎ 53,101 bytes +21‎ →‎top: Move latest addition to the correct spot. undo
curprev 16:4916:49, 17 October 2022‎ 2601:180:200:cb3:2ded:5260:ac5c:88f6 talk‎ 53,080 bytes +252‎ Adds concise definition undo Tag: Visual edit

curprev 15:1515:15, 19 September 2022‎ Pelirodri1248 talk contribs‎ m 52,828 bytes +1‎ No edit summary undo

curprev 11:1811:18, 6 May 2022‎ DerSpezialist talk contribs‎ m 52,827 bytes −1‎ →‎Covariant method parameter type: Remove space between references undo

curprev 11:4911:49, 14 February 2022‎ 84.213.205.150 talk‎ 52,828 bytes +45‎ →‎Inheritance in object-oriented languages: added more helpful description to align with the terminology used in the rest of the text undo
curprev 11:4811:48, 14 February 2022‎ 84.213.205.150 talk‎ 52,783 bytes +32‎ →‎Inheritance in object-oriented languages: Added helpful description, to avoid having to look up UML. undo

curprev 17:4417:44, 20 January 2022‎ Iridescent 2 talk contribs‎ m 52,751 bytes 0‎ →‎Data: Cleanup and typo fixing, typo(s) fixed: similarly- → similarly undo Tag: AWB

curprev 04:0404:04, 17 December 2021‎ RnTkm talk contribs‎ 52,751 bytes −167‎ Undid revision 1054485302 by RnTkm (talk). withdraw undo Tag: Undo

curprev 19:0319:03, 24 November 2021‎ 100.33.242.54 talk‎ 52,918 bytes +1‎ →‎Function types: Fixed unmatched parentheses undo

curprev 08:5008:50, 10 November 2021‎ RnTkm talk contribs‎ 52,917 bytes +167‎ →‎Inheritance in object-oriented languages: +{{Dubious}} "invariance" undo Tag: Reverted

curprev 03:4403:44, 3 November 2021‎ RnTkm talk contribs‎ 52,750 bytes +53‎ →‎Formal definition: {{More citations needed section}} undo

curprev 09:4509:45, 1 November 2021‎ 2a02:8108:96c0:781c:795f:655f:cfe7:621e talk‎ 52,697 bytes +51‎ Giving an example of a language that supports contravariance in parameter types undo

curprev 16:1216:12, 10 October 2021‎ 2a02:810a:8d00:1298:b0ba:f2ae:b358:e1d talk‎ 52,646 bytes −2‎ →‎Formal definition undo
curprev 16:1116:11, 10 October 2021‎ 2a02:810a:8d00:1298:b0ba:f2ae:b358:e1d talk‎ 52,648 bytes 0‎ →‎Formal definition undo
curprev 16:1016:10, 10 October 2021‎ 2a02:810a:8d00:1298:b0ba:f2ae:b358:e1d talk‎ 52,648 bytes +127‎ →‎Formal definition: Explicitly stated formal definition, reformulated bivariance undo Tags: nowiki added Visual edit

curprev 11:3311:33, 7 October 2021‎ RDBrown talk contribs‎ 52,521 bytes +369‎ →Cite book, tweak cites undo
curprev 07:0907:09, 7 October 2021‎ Linneris talk contribs‎ 52,152 bytes +57‎ clarification needed undo

curprev 05:2105:21, 7 August 2021‎ Ovenliners talk contribs‎ 52,095 bytes +150‎ Corrected statement that C# does not support covariant return types - it does as of C# 9.0. undo

curprev 01:4601:46, 12 July 2021‎ Catchpoke talk contribs‎ 51,945 bytes −24‎ →‎Origin of the term covariance: MOS:SECTIONSTYLE undo

curprev 23:5823:58, 17 May 2021‎ MarkAurelius talk contribs‎ m 51,969 bytes +2‎ Avoiding disambiguation page, going straight to relevant page undo

curprev 11:2211:22, 10 March 2021‎ 85.140.7.250 talk‎ 51,967 bytes +3‎ →‎Arrays undo

curprev 12:1912:19, 2 February 2021‎ Akerenyi talk contribs‎ 51,964 bytes +324‎ Undid revision 1004381754 by 103.100.136.61 (talk) as it made some parts incomprehensible. undo Tag: Undo
curprev 09:4909:49, 2 February 2021‎ 103.100.136.61 talk‎ 51,640 bytes −324‎ No edit summary undo Tag: Reverted

curprev 16:3316:33, 21 January 2021‎ DerSpezialist talk contribs‎ m 51,964 bytes +88‎ →‎Contravariant method parameter type: Mention shadowing undo
curprev 16:2916:29, 21 January 2021‎ DerSpezialist talk contribs‎ m 51,876 bytes +58‎ →‎Function types: Better Math undo
curprev 16:1816:18, 21 January 2021‎ DerSpezialist talk contribs‎ m 51,818 bytes +67‎ →‎Arrays: Mention write-only array as an explanation undo

curprev 21:5121:51, 13 January 2021‎ Monkbot talk contribs‎ m 51,751 bytes +19‎ Task 18 (cosmetic): eval 20 templates: hyphenate params (19×); undo Tag: AWB

22 June 2024

23 December 2023

11 September 2023

13 August 2023

10 August 2023

16 July 2023

11 July 2023

22 June 2023

17 June 2023

3 June 2023

30 May 2023

29 May 2023

30 April 2023

1 April 2023

22 March 2023

8 March 2023

5 November 2022

17 October 2022

19 September 2022

6 May 2022

14 February 2022

20 January 2022

17 December 2021

24 November 2021

10 November 2021

3 November 2021

1 November 2021

10 October 2021

7 October 2021

7 August 2021

12 July 2021

17 May 2021

10 March 2021

2 February 2021

21 January 2021

13 January 2021