Nominal type system: 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 03:3003:30, 27 March 2024‎ Breandan talk contribs‎ m 3,926 bytes +42‎ Add Kotlin to list of nominally typed languages. undo

curprev 03:5103:51, 10 September 2023‎ Fgnievinski talk contribs‎ 3,884 bytes +16‎ →‎top undo

curprev 05:4405:44, 31 May 2023‎ Angeld23 talk contribs‎ 3,868 bytes −14‎ No edit summary undo Tag: Visual edit
curprev 05:4205:42, 31 May 2023‎ Angeld23 talk contribs‎ 3,882 bytes −15‎ No edit summary undo Tag: Visual edit

curprev 19:4119:41, 16 February 2021‎ Jonhanson talk contribs‎ m 3,897 bytes −4‎ Removed superfluous link undo

curprev 13:2313:23, 14 January 2021‎ Tea2min talk contribs‎ 3,901 bytes −5‎ →‎top: Grammar/phrasing. Feel free to revert if you prefer the previous version. undo

curprev 22:0122:01, 16 November 2020‎ RDBrown talk contribs‎ 3,906 bytes +52‎ →‎Sources: Move chapter info in undo

curprev 22:2622:26, 19 April 2020‎ InternetArchiveBot talk contribs‎ 3,854 bytes +235‎ Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 13:2813:28, 13 April 2020‎ Omnipaedista talk contribs‎ 3,619 bytes −45‎ rm obsolete tag undo

curprev 12:1012:10, 23 February 2019‎ 2001:16b8:493f:ea00:e43f:5b54:2bd3:fde0 talk‎ 3,664 bytes +39‎ →‎Nominal subtyping undo

curprev 01:3001:30, 23 February 2018‎ 69.26.74.42 talk‎ 3,625 bytes +34‎ No edit summary undo

curprev 15:1815:18, 21 May 2017‎ Grant0417 talk contribs‎ m 3,591 bytes +39‎ added rust undo

curprev 04:4304:43, 27 April 2017‎ Myconix talk contribs‎ 3,552 bytes +29‎ →‎Nominal typing: C 6.2.7 only applies for structs in _separate translation units_, and that rule exists only so structures can be compatible across header files undo
curprev 04:3204:32, 27 April 2017‎ Myconix talk contribs‎ 3,523 bytes +21‎ →‎Nominal typing undo

curprev 15:1815:18, 4 January 2017‎ Justin15w talk contribs‎ m 3,502 bytes −3‎ Reverted 1 edit by 41.13.90.51 (talk) to last revision by Ancheta Wis. (TW) undo
curprev 15:1715:17, 4 January 2017‎ 41.13.90.51 talk‎ 3,505 bytes +3‎ →‎Nominal typing undo Tags: Mobile edit Mobile web edit

curprev 08:5508:55, 20 May 2016‎ Ancheta Wis talk contribs‎ 3,502 bytes −43‎ →‎Comparison: use internal evidence to avoid accidental equivalence undo

curprev 15:4015:40, 2 June 2015‎ Jameshfisher talk contribs‎ 3,545 bytes +254‎ No edit summary undo

curprev 16:0616:06, 25 November 2014‎ Cubbi talk contribs‎ 3,291 bytes −53‎ two struct types with different name ARE considered compatible in C if their structure is the same, it's a major breaking point between C and C++. C's 6.2.7 vs. C++'s C.1.2[diff.basic]3.9. This page should refer to C++ if it wants to discuss nominal type undo

curprev 01:3601:36, 4 November 2014‎ 60.241.92.33 talk‎ 3,344 bytes +30‎ Fixed link "Delphi" to be the programming language, not the location undo
curprev 01:3501:35, 4 November 2014‎ 60.241.92.33 talk‎ 3,314 bytes +11‎ Stated that Delphi also supports nominal typing and subtyping undo

curprev 05:3205:32, 24 September 2014‎ Spoon! talk contribs‎ 3,303 bytes +40‎ →‎Nominal subtyping undo

curprev 11:1411:14, 26 June 2014‎ MrOllie talk contribs‎ m 3,263 bytes −788‎ Reverted 1 edit by 41.234.92.79 (talk) to last revision by MrOllie. (TW) undo
curprev 08:4308:43, 26 June 2014‎ 41.234.92.79 talk‎ 4,051 bytes +788‎ Please leave undo

curprev 18:4518:45, 24 June 2014‎ MrOllie talk contribs‎ 3,263 bytes −788‎ Reverted 1 edit by 41.234.92.79 (talk): Rv spam. (TW) undo
curprev 11:0511:05, 24 June 2014‎ 41.234.92.79 talk‎ 4,051 bytes +788‎ Undid revision 566440317 by MrOllie (talk) undo

curprev 08:0908:09, 19 December 2013‎ 76.126.211.47 talk‎ 3,263 bytes +18‎ →‎Nominal subtyping undo

curprev 04:1804:18, 15 December 2013‎ Nbarth talk contribs‎ m 3,245 bytes −3‎ wording undo
curprev 04:1704:17, 15 December 2013‎ Nbarth talk contribs‎ m 3,248 bytes 0‎ Nbarth moved page Nominative type system to Nominal type system: More standard term (used in page and in box) undo

curprev 15:3815:38, 30 July 2013‎ MrOllie talk contribs‎ 3,248 bytes −510‎ →‎Nominal subtyping: rm COI/promotional citation of someone's thesis undo

curprev 16:3016:30, 18 June 2013‎ Melody Lavender talk contribs‎ m 3,758 bytes +15‎ Undid revision 560460213 by 197.132.254.9 (talk)no, sorry. undo
curprev 15:1315:13, 18 June 2013‎ 197.132.254.9 talk‎ 3,743 bytes −15‎ Undid revision 560127698 by Melody Lavender (talk) undo

curprev 09:0009:00, 16 June 2013‎ Melody Lavender talk contribs‎ m 3,758 bytes +15‎ undid revision by IP undo

curprev 14:4014:40, 15 June 2013‎ 197.160.81.152 talk‎ 3,743 bytes −189‎ deleted reference to NOOP thesis undo
curprev 11:2811:28, 15 June 2013‎ 197.160.81.152 talk‎ 3,932 bytes 0‎ added reference to NOOP book undo
curprev 11:2511:25, 15 June 2013‎ 197.160.81.152 talk‎ 3,932 bytes +174‎ added reference to NOOP book undo

curprev 14:5614:56, 7 May 2013‎ Yobot talk contribs‎ m 3,758 bytes −27‎ →‎Nominal subtyping: WP:CHECKWIKI error fixes using AWB (9120) undo

curprev 11:5311:53, 15 April 2013‎ 197.133.186.22 talk‎ 3,785 bytes +28‎ improved format of reference to NOOP undo
curprev 11:4711:47, 15 April 2013‎ 197.133.22.139 talk‎ 3,757 bytes +537‎ Added a reference to NOOP undo

curprev 09:2209:22, 15 March 2013‎ Addbot talk contribs‎ m 3,220 bytes −36‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q3509459 undo

curprev 13:3413:34, 12 March 2013‎ Magioladitis talk contribs‎ m 3,256 bytes −17‎ →‎External links: WP:CHECKWIKI errors fixed using AWB (8967) undo

curprev 20:1220:12, 22 June 2012‎ Sae1962 talk contribs‎ m 3,273 bytes +30‎ Kleine Korrekturen undo

curprev 10:4110:41, 30 January 2012‎ Denispir talk contribs‎ m 3,243 bytes +31‎ →‎See also: Structural type system undo

curprev 20:1620:16, 24 November 2011‎ AnomieBOT talk contribs‎ m 3,212 bytes +19‎ Dating maintenance tags: {{By whom}} undo
curprev 18:4518:45, 24 November 2011‎ 78.121.189.112 talk‎ 3,193 bytes +11‎ →‎Comparison undo

27 March 2024

10 September 2023

31 May 2023

16 February 2021

14 January 2021

16 November 2020

19 April 2020

13 April 2020

23 February 2019

23 February 2018

21 May 2017

27 April 2017

13 April 2017

4 January 2017

20 May 2016

2 June 2015

25 November 2014

4 November 2014

24 September 2014

26 June 2014

24 June 2014

19 December 2013

15 December 2013

30 July 2013

18 June 2013

16 June 2013

15 June 2013

7 May 2013

15 April 2013

15 March 2013

12 March 2013

22 June 2012

30 January 2012

24 November 2011