Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Structural_type_system> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Structural_type_system abstract "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.".
- Structural_type_system wikiPageID "4471383".
- Structural_type_system wikiPageRevisionID "596777108".
- Structural_type_system date "November 2010".
- Structural_type_system hasPhotoCollection Structural_type_system.
- Structural_type_system reason "this example requires knowledge of various intricate details of ocaml syntax; this needs to be explained in full, or pruned from superfluous code, because the point is to demonstrate the structural type system, not random ocaml stuff".
- Structural_type_system subject Category:Type_systems.
- Structural_type_system type Artifact100021939.
- Structural_type_system type Instrumentality103575240.
- Structural_type_system type Object100002684.
- Structural_type_system type PhysicalEntity100001930.
- Structural_type_system type System104377057.
- Structural_type_system type TypeSystems.
- Structural_type_system type Whole100003553.
- Structural_type_system comment "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.".
- Structural_type_system label "Structural type system".
- Structural_type_system label "Système structural de types".
- Structural_type_system sameAs Système_structural_de_types.
- Structural_type_system sameAs m.0c49_w.
- Structural_type_system sameAs Q936724.
- Structural_type_system sameAs Q936724.
- Structural_type_system sameAs Structural_type_system.
- Structural_type_system wasDerivedFrom Structural_type_system?oldid=596777108.
- Structural_type_system isPrimaryTopicOf Structural_type_system.