Structural type system
A structural type system (or property-based type system) is a major class of type system, in which type compatibility and equivalence are determined by the type's actual structure or definition, and not by other characteristics such as its name or place of declaration. Structural systems are used to determine if types are equivalent and whether a type is a subtype of another. It contrasts with nominative systems, where comparisons are based on the names of the types or explicit declarations, and duck typing, in which only the part of the structure accessed at runtime is checked for compatibility.
Wikipage redirect
primaryTopic
Structural type system
A structural type system (or property-based type system) is a major class of type system, in which type compatibility and equivalence are determined by the type's actual structure or definition, and not by other characteristics such as its name or place of declaration. Structural systems are used to determine if types are equivalent and whether a type is a subtype of another. It contrasts with nominative systems, where comparisons are based on the names of the types or explicit declarations, and duck typing, in which only the part of the structure accessed at runtime is checked for compatibility.
has abstract
A structural type system (or p ...... is checked for compatibility.
@en
En programmation informatique, ...... re pour l'autre type de paire.
@fr
Wikipage page ID
Wikipage revision ID
739,030,113
subject
hypernym
comment
A structural type system (or p ...... is checked for compatibility.
@en
En programmation informatique, ...... cites ou sur le nom des types.
@fr
label
Structural type system
@en
Système structurel de types
@fr