Category:Typing/Compatibility/Nominative
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.
In this typing scheme, a type has a name and two “type instances” with the same structure but different names are different types.