Category:Typing/Compatibility/Nominative: Difference between revisions

Content added Content deleted

Inline

Latest revision as of 16:38, 29 August 2009

In this typing scheme, a type has a name and two “type instances” with the same structure but different names are different types. This is more restrictive than structural typing, in that it can distinguish types that are structurally identical.

Subcategories

This category has the following 51 subcategories, out of 51 total.

A

Ada‎ (3 C, 941 P)
ALGOL W‎ (3 C, 327 P)
Apex‎ (1 C, 38 P)
Ayrch‎ (empty)

C

C‎ (3 C, 1,295 P)
C sharp‎ (3 C, 986 P)
C++‎ (3 C, 1,274 P)
C0H‎ (3 C)
C1R‎ (3 C, 3 P)
C2‎ (1 P)
C3‎ (16 P)
Ceylon‎ (94 P)
Cilk‎ (3 C)

D

D‎ (3 C, 990 P)
Delphi‎ (3 C, 945 P)
Draco‎ (1 C, 126 P)
DWScript‎ (3 C, 100 P)

E

EC‎ (3 C, 7 P)
Eiffel‎ (3 C, 158 P)

F

Fortran‎ (3 C, 651 P)

G

Genie‎ (1 C, 34 P)
Go‎ (4 C, 1,548 P)
Groovy‎ (3 C, 502 P)

H

Hare‎ (16 P)

I

Inform 7‎ (3 C, 43 P)

J

Java‎ (3 C, 1,340 P)

K

Keg‎ (4 P)

L

Luck‎ (8 P)

M

MANOOL‎ (6 P)
ΜC++‎ (3 C)
Microsoft Small Basic‎ (1 C, 56 P)
MiniZinc‎ (31 P)

N

Nemerle‎ (3 C, 147 P)
Nit‎ (8 P)

O

Object Pascal‎ (4 C, 12 P)

P

PL/I‎ (3 C, 446 P)
PowerBASIC‎ (3 C, 55 P)

R

REXX‎ (4 C, 1,152 P)
Rhovas‎ (6 P)
Rust‎ (2 C, 952 P)

S

SkookumScript‎ (1 C, 6 P)
SPARK‎ (3 C, 8 P)
SQL PL‎ (3 C, 40 P)
Swift‎ (612 P)

T

Tern‎ (6 P)

U

Ultimate++‎ (5 P)

V

Vala‎ (3 C, 111 P)
Visual Basic‎ (3 C, 119 P)

X

XProfan‎ (7 P)

Y

Ya‎ (1 P)

Z

Zig‎ (1 C, 140 P)

@@ Line 1: / Line 1: @@
-[[Category:Typing/Compatibility]]
+{{feature|Typing/Compatibility}}
+In this typing scheme, a type has a name and two “type instances” with the same structure but different names are different types.
+This is more restrictive than [[:Category:Typing/Compatibility/Structural|structural typing]], in that it can distinguish types that are structurally identical.