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. Nominative systems are used to determine if types are equivalent, as well as if a type is a subtype of another.

PropertyValue
dbpedia-owl:abstract
  • 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 question et donc ces types ne nécessitent pas de déclarations explicites.
  • 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. Nominative 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.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 4471382 (xsd:integer)
dbpedia-owl:wikiPageInLinkCount
  • 43 (xsd:integer)
dbpedia-owl:wikiPageOutLinkCount
  • 20 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 544324747 (xsd:integer)
dbpprop:hasPhotoCollection
dcterms:subject
rdf:type
rdfs:comment
  • 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.
  • 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. Nominative systems are used to determine if types are equivalent, as well as if a type is a subtype of another.
rdfs:label
  • Nominative type system
  • Système nominatif de types
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpprop:typing of
is owl:sameAs of
is foaf:primaryTopic of