Category:Typing/Compatibility/Structural: Difference between revisions
Content added Content deleted
No edit summary |
(Added some explanatory text) |
||
Line 1: | Line 1: | ||
{{feature|Typing/Compatibility}} |
{{feature|Typing/Compatibility}} |
||
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. |
Latest revision as of 16:36, 29 August 2009
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)