Template:Type systems: Difference between revisions

Type systems
	Type safety; Manifest vs. Inferred; Static vs. Dynamic; Strong vs. Weak; Nominal vs. Structural; Duck typing; Dependent typing; Uniqueness typing; Linear typing;

Content deleted Content added

Inline

@@ Line 4: / Line 4: @@
 |- style="background:F9F9F9;"
 |
-[[Type safety|Typesafe]]<br>
+[[Type safety]]<br>
-[[Manifest typing]] vs. [[Type inference|Inferred typing]]<br>
+[[Manifest typing|Manifest]] vs. [[Type inference|Inferred]]<br>
-[[Type system#Static typing|Static typing]] vs. [[Type system#Dynamic typing|Dynamic typing]]<br>
+[[Type system#Static typing|Static]] vs. [[Type system#Dynamic typing|Dynamic]]<br>
-[[Strongly typed programming language|Strong typing]] vs. [[Weak typing]]<br>
+[[Strongly typed programming language|Strong]] vs. [[Weak typing|Weak]]<br>
-[[Nominative type system|Nominal typing]] vs. [[Structural type system|Structural typing]]<br>
+[[Nominative type system|Nominal]] vs. [[Structural type system|Structural]]<br>
 [[Duck typing]]<br>
 [[Dependent type|Dependent typing]]<br>

Revision as of 13:28, 23 August 2010