Page history

Strong and weak typing

17 December 2019

Niceguyedc
v2.02 - Repaired 1 link to disambiguation page - (You can help) - Run time / WP:WCW project (Reference before punctuation)
m
06:59
+34

10 December 2019

2605:a601:a953:7401:b041:14d4:9cb0:ea26
no edit summary
04:38
-11

25 November 2019

Dogcopter
added hyperlink
m
03:50
+35

2 November 2019

Ancheta Wis
Reverted edits by 2605:6000:151C:6061:B856:80BF:9CD1:EBD3 (talk) to last version by Plokmijnuhby
m
11:16
-69
2605:6000:151c:6061:b856:80bf:9cd1:ebd3
→‎Variation across programming languages
10:33
+69

22 August 2019

Plokmijnuhby
→‎Dynamic type-checking: Reverting. The previous editor of this section used the word "type" in a way that would be appropriate in some contexts, but a more informal definition would be better here.
22:33
-348

9 August 2019

Citation bot
Alter: url, title. Add: date, issue. Removed parameters. | You can use this bot yourself. Report bugs here.| Activated by User:Headbomb
m
08:09
-131

14 June 2019

216.228.254.241
Strong typing is not synonymous with static type checking. Static versus Dynamic typing is when the type checking happens. Static is during compile time, dynamic is during compile time. The explanation before makes this distinction unclear.
23:00
+107

2 April 2019

Jauerback
→‎Dynamic type-checking: see WP:NOTED, MOS:NOTED, and WP:OPED
15:06
-24

18 December 2018

31 October 2018

193.64.190.190
→‎Variation across programming languages: changed Ada to Pascal to align with given reference
11:25
+3

22 September 2018

Leastfixedpoint
→‎Static type-checking
15:24
+110

28 August 2018

11 August 2018

89.164.107.42
There is no such thing as dynamic type-checking. Types are an internal language of a topos, much like sets of another one and thus can be used to represent logic and as a result proofs of propositions (see Curry-Howard isomorphism between STLC and propositional logic). The "dynamic" types are in fact tags and have nothing to do with the mathematical definition of types (which can be thought of as higher-groupoids).
13:38
+372

23 July 2018

213.52.74.74
Ada's type system has such characteristics, not Pascal
11:42
-3

4 June 2018

Turbo pencil
no edit summary
m
21:51
+2

22 May 2018

6 April 2018

11 January 2018

13 December 2017

Pen1234567
Attempting to concisely explain strong typing as "stricter," compared to "looser" weak typing
01:58
+58

25 November 2017

13 November 2017

Beland
link to main article on the topic from the intro
21:24
+51

24 October 2017

1 September 2017

14 August 2017

2405:204:a49e:21bd:6c32:f596:8cb5:dded
no edit summary
15:27
-157

11 July 2017

202.130.92.146
→‎Definitions of "strong" or "weak"
07:08
-2

6 July 2017

198.103.221.51
→‎Variation across programming languages
12:35
+25

21 May 2017

Grant0417
added rust to type section
m
15:16
+39

15 May 2017

22 April 2017

10 March 2017

Retrieved from "https://en.wikipedia.org/wiki/Special:History/Strong_and_weak_typing"