Category:Typing/Compatibility/Structural
Typing/Compatibility/Structural is a programming language feature.
In this typing scheme, two types are the same when they have the same structure (e.g., a tuple of a 32-bit integer, a string and a double-precision float is the same as any other tuple of 32-bit integer, string and double); there is no individual identity for type instances.
Subcategories
This category has the following 31 subcategories, out of 31 total.
B
D
F
- Frege (11 P)
L
- Lambda Prolog (1 P)
- Lhogho (8 P)
R
S
- SWI-Prolog (empty)
U
- Ultimate++ (5 P)
Y
- Ya (1 P)
Z
- Zoea Visual (27 P)