Parametric polymorphism: 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 23:5023:50, 10 February 2024‎ Nowhere man talk contribs‎ m 16,314 bytes +6‎ Use consistent notation for types. undo Tag: Visual edit

curprev 13:4413:44, 12 November 2023‎ 2a02:1812:110c:dc00:74df:ba46:c9cd:45e4 talk‎ 16,308 bytes +15‎ No edit summary undo

curprev 11:1411:14, 8 August 2023‎ Citation bot talk contribs‎ 16,293 bytes −3‎ Alter: title, template type. Add: chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 1492/2306 undo

curprev 00:1700:17, 20 June 2023‎ Citation bot talk contribs‎ 16,296 bytes −35‎ Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 17:2017:20, 30 January 2023‎ Citation bot talk contribs‎ 16,331 bytes −54‎ Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Kline | Category:Type theory | #UCB_Category 5/111 undo

curprev 07:5207:52, 29 January 2023‎ OAbot talk contribs‎ m 16,385 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

curprev 15:2415:24, 3 January 2023‎ Citation bot talk contribs‎ 16,368 bytes +49‎ Alter: journal. Add: s2cid, isbn. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 502/2500 undo

curprev 21:5521:55, 21 November 2022‎ Nbrader talk contribs‎ 16,319 bytes +2‎ →‎Rank-1 (predicative) polymorphism: And another one... undo
curprev 21:5221:52, 21 November 2022‎ Nbrader talk contribs‎ 16,317 bytes +6‎ →‎Basic definition: I've added some brackets because it looked to me like a pair "(list,function)" rather than a function "pair -> list" undo

curprev 00:3900:39, 1 October 2022‎ Lexi.lambda talk contribs‎ 16,311 bytes +80‎ →‎Rank-1 (predicative) polymorphism: Update notation to match new definition section undo
curprev 00:1100:11, 1 October 2022‎ Lexi.lambda talk contribs‎ 16,231 bytes +4‎ →‎Basic definition: Add parentheses around the types for append to make them easier to separate from the prose undo
curprev 00:0800:08, 1 October 2022‎ Lexi.lambda talk contribs‎ 16,227 bytes +2,923‎ Add section “Basic definition” and move some of the contents from the summary into it undo

curprev 22:4322:43, 30 September 2022‎ Lexi.lambda talk contribs‎ 13,304 bytes +1,171‎ Merge sections on higher-rank polymorphism and predicativity, since the two concepts are intimately related undo

curprev 16:2916:29, 17 June 2022‎ Kavuldra talk contribs‎ m 12,133 bytes +18‎ →‎Bounded parametric polymorphism: changed use of scriptstyle in inline context to inline. undo

curprev 23:0623:06, 10 June 2022‎ Citation bot talk contribs‎ 12,115 bytes +252‎ Add: isbn, volume, series, url, s2cid. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 2712/3607 undo

curprev 16:0016:00, 30 December 2021‎ 67.198.37.16 talk‎ 11,863 bytes +35‎ →‎See also: Trait (computer programming) undo

curprev 11:5711:57, 15 August 2021‎ Qwerfjkl talk contribs‎ m 11,828 bytes −4‎ Removed 'The' from the beginning of the short description per WP:SDFORMAT. (via WP:JWB) undo

curprev 08:2608:26, 29 June 2021‎ Nuk3n talk contribs‎ m 11,832 bytes −1‎ Si usted no finaliza, por ejemplo, esta frase entre paréntesis :"(for example, rank-1 or prenex polymorphism)", por qué va a ponerle un punto al final de la frase que estoy modificando? Why yo revert my edition? undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 05:3705:37, 28 June 2021‎ Tea2min talk contribs‎ 11,833 bytes −2‎ Undid revision 1030740827 by Nuk3n (talk): ? undo Tag: Undo

curprev 19:4319:43, 27 June 2021‎ Nuk3n talk contribs‎ m 11,835 bytes +2‎ No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 19:2819:28, 21 May 2021‎ Lennart97 talk contribs‎ m 11,833 bytes +10‎ Disambiguating links to Subtype (link changed to Subtyping) using DisamAssist. undo

curprev 10:3610:36, 1 May 2021‎ Rotondus talk contribs‎ m 11,823 bytes 0‎ →‎Predicative polymorphism: spelling undo

curprev 23:3823:38, 12 March 2021‎ 2001:861:3ac0:4fa0:c4fe:7d80:d522:e9cc talk‎ 11,823 bytes +38‎ No edit summary undo

curprev 01:4801:48, 14 January 2021‎ Monkbot talk contribs‎ m 11,785 bytes −104‎ Task 18 (cosmetic): eval 10 templates: hyphenate params (7×); del |ref=harv (8×); cvt lang vals (2×); undo Tag: AWB

curprev 09:3409:34, 18 October 2020‎ ArnoldReinhold talk contribs‎ 11,889 bytes +55‎ Adding local short description: "The basis of generic programming", overriding Wikidata description "the basis of generic programming" (Shortdesc helper) undo

curprev 05:4005:40, 1 October 2020‎ Cnwilliams talk contribs‎ m 11,834 bytes +30‎ Disambiguated: Python → Python (programming language) undo

curprev 17:3717:37, 4 September 2020‎ 37.26.74.40 talk‎ 11,804 bytes +36‎ →‎History undo

curprev 21:4821:48, 5 June 2020‎ Citation bot talk contribs‎ 11,768 bytes +18‎ Alter: url. Add: url. | You can use this bot yourself. Report bugs here. | Activated by SemperIocundus | via #UCB_webform undo

curprev 00:3800:38, 3 June 2019‎ Jarble talk contribs‎ 11,750 bytes +326‎ adding a reference undo

curprev 18:0618:06, 19 February 2019‎ Citation bot talk contribs‎ m 11,424 bytes +1‎ Alter: title, journal. Add: citeseerx, isbn, title-link, author pars. 1-1. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 23:3823:38, 15 February 2019‎ 146.90.191.130 talk‎ 11,423 bytes −163‎ Fixed up the points I marked "dubious" or "vague" earlier. undo
curprev 23:1123:11, 15 February 2019‎ AnomieBOT talk contribs‎ m 11,586 bytes +38‎ Dating maintenance tags: {{Citation needed}} {{Vague}} undo
curprev 21:1021:10, 15 February 2019‎ 146.90.191.130 talk‎ 11,548 bytes +332‎ At least part of this section is wrong (or at best misleading). Added {{Unreferenced section}} and {{Dubious}} tags. undo

curprev 10:0610:06, 15 November 2018‎ Cuihtlauac talk contribs‎ 11,216 bytes +20‎ →‎See also undo

curprev 16:2016:20, 25 March 2017‎ 185.25.95.132 talk‎ 11,196 bytes +2‎ No edit summary undo

curprev 17:1817:18, 15 May 2016‎ Dcirovic talk contribs‎ m 11,194 bytes −5‎ →‎History: clean up, replaced: <em> → '', </em> → '' using AWB undo

curprev 07:3407:34, 8 January 2015‎ Sebgod talk contribs‎ m 11,199 bytes +44‎ Add Mercury to languages undo

curprev 22:2022:20, 2 January 2015‎ Eriksensei talk contribs‎ m 11,155 bytes +40‎ Introduced explicit universal quantification and more uniform formatting to a few type signatures. undo

curprev 19:1719:17, 15 November 2014‎ 213.125.194.11 talk‎ 11,115 bytes +40‎ Add Julia to languages which support parametric polymorphism undo

curprev 13:1213:12, 28 July 2014‎ 188.126.200.132 talk‎ 11,075 bytes −9‎ →‎History undo

curprev 12:3112:31, 3 June 2014‎ Ruud Koot talk contribs‎ 11,084 bytes +44‎ →‎See also: Type class#Higher-kinded polymorphism undo

curprev 11:3211:32, 14 February 2014‎ GregRos talk contribs‎ 11,040 bytes −129‎ →‎Rank-1 (prenex) polymorphism: As far as I can tell, this unsourced statement is false. You need type annotations to use impredictable types in Haskell , e.g. http://www.haskell.org/haskellwiki/Impredicative_types undo Tag: Visual edit

curprev 12:0512:05, 28 November 2013‎ AnomieBOT talk contribs‎ m 11,169 bytes +38‎ Dating maintenance tags: {{Expand section}} undo
curprev 10:0510:05, 28 November 2013‎ Antoine Poliakov talk contribs‎ 11,131 bytes +19‎ →‎Rank-n ("higher-rank") polymorphism undo
curprev 10:0410:04, 28 November 2013‎ Antoine Poliakov talk contribs‎ 11,112 bytes +19‎ →‎Rank-k polymorphism undo

curprev 09:5909:59, 18 August 2013‎ Reddyuday talk contribs‎ 11,093 bytes +199‎ Added citation for ML polymorphism undo
curprev 09:5609:56, 18 August 2013‎ Reddyuday talk contribs‎ m 10,894 bytes −2‎ →‎History undo
curprev 09:5509:55, 18 August 2013‎ Reddyuday talk contribs‎ 10,896 bytes +2‎ Changed the date of ML undo

curprev 02:3302:33, 19 July 2013‎ Lesser Cartographies talk contribs‎ m 10,894 bytes 0‎ "ad-hoc" -> "ad hoc" undo

curprev 20:0120:01, 10 July 2013‎ Legobot talk contribs‎ m 10,894 bytes +15‎ BOT: Dating templates: {{citation needed}} (1). Errors? stop me undo

10 February 2024

12 November 2023

8 August 2023

20 June 2023

30 January 2023

29 January 2023

3 January 2023

21 November 2022

1 October 2022

30 September 2022

17 June 2022

10 June 2022

30 December 2021

15 August 2021

29 June 2021

28 June 2021

27 June 2021

21 May 2021

1 May 2021

12 March 2021

14 January 2021

18 October 2020

1 October 2020

4 September 2020

5 June 2020

3 June 2019

19 February 2019

15 February 2019

15 November 2018

25 March 2017

15 May 2016

8 January 2015

2 January 2015

15 November 2014

28 July 2014

3 June 2014

14 February 2014

28 November 2013

18 August 2013

19 July 2013

10 July 2013