Category:Typing/Compatibility/Nominative: 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, a type has a name and two “type instances” with the same structure but different names are different types. |
Revision as of 16:33, 29 August 2009
Typing/Compatibility/Nominative is a programming language feature.
In this typing scheme, a type has a name and two “type instances” with the same structure but different names are different types.