Anonymous user
Category:Typing/Compatibility/Nominative: Difference between revisions
Category:Typing/Compatibility/Nominative (view source)
Revision as of 16:38, 29 August 2009
, 14 years agomore refinement
(Added some explanatory text) |
(more refinement) |
||
Line 1:
{{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.
| |||