In computer science, a nominal or nominative type system (or name-based type system) is a major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominal systems are used to determine if types are equivalent, as well as if a type is a subtype of another. It contrasts with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations.

PropertyValue
dbpedia-owl:abstract
  • In computer science, a nominal or nominative type system (or name-based type system) is a major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominal systems are used to determine if types are equivalent, as well as if a type is a subtype of another. It contrasts with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations.
  • Un système nominatif de types est une classe majeure de système de types en programmation informatique. C'est avec lui qu'on détermine la compatibilité et l'équivalence de types par la déclaration explicite et/ou le nommage des types.On utilise les systèmes nominatifs pour déterminer si des types sont équivalents ou pour savoir si un type est un sous-type d'un autre.Ce système est en contraste avec le système structural, où les comparaisons sont basées sur la structure des types en questionet donc ces types ne nécessitent pas de déclarations explicites.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 4471382 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 586759232 (xsd:integer)
dcterms:subject
rdfs:comment
  • In computer science, a nominal or nominative type system (or name-based type system) is a major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Nominal systems are used to determine if types are equivalent, as well as if a type is a subtype of another. It contrasts with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations.
  • Un système nominatif de types est une classe majeure de système de types en programmation informatique.
rdfs:label
  • Nominal type system
  • Système nominatif de types
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpprop:typing of
is foaf:primaryTopic of