| dbo:abstract |
Στην επιστήμη των υπολογιστών ένα ονομαστικό σύστημα τύπων (Αγγλικά: Nominal type system) είναι μια βασική ομάδα του συστήματος τύπων όπου η ισότητα και η συμβατότητα μεταξύ τύπων δεδομένων καθορίζεται με τις ρητές δηλώσεις κατά τον ορισμό των ονομάτων των τύπων. Δύο τύποι είναι ισοδύναμοι (ισοδυναμία ονόματος / στα αγγλικά: name equivalence) εάν έχουν το ίδιο όνομα τύπου στο ίδιο πλαίσιο/συμφραζόμενα. Δύο τύποι που έχουν την ίδια δομή αλλά διαφορετικό όνομα τύπου θεωρούνται διαφορετικοί τύποι. Τα συστήματα τύπων χρησιμοποιούνται για να καθοριστούν αν δύο τύποι είναι ισοδύναμοι ή αν ένας τύπος είναι υποτύπος (στα αγγλικά: subtype) από κάποιον άλλον. Σε αντίθεση όταν έχουμε δομημένα συστήματα τύπων, δύο τύποι είναι ισοδύναμοι εάν έχουν την ίδια δομή (ονομάζεται ισοδυναμία δομής / στα αγγλικά: structural equivalence) δεν χρειάζεται να έχουμε ρητή δήλωση ίδιου ονόματος τύπου. (el) 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 d'un autre. Ce système est en contraste avec le système structurel, où les comparaisons sont fondées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites. (fr) In computer science, a type system is a nominal or nominative type system (or name-based type system) if 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. Nominal type systems contrast with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations. (en) 명목적 또는 이름 기반 자료형 체계(nominal 혹은 nominative type system)은 자료형 체계의 주요 범주이다. 이 자료형 체계에서 자료형의 호환성과 등가성은 선언이나 자료형의 이름에 의해 명시적으로 결정된다. 노미널 체계는 두 자료형이 서로로 교체 가능한지, 혹은 하나가 다른 하나의 서브타입인지 확인하는 데 사용된다. 이는 와 대비를 이룬다. 구조적 체계의 경우, 자료형의 구조만 가지고 비교를 하며 명시적인 선언은 필요하지 않다. (ko) |
| dbo:wikiPageExternalLink |
https://web.archive.org/web/20161013053206/http:/c2.com/cgi/wiki%3FNominativeAndStructuralTyping |
| dbo:wikiPageID |
4471382 (xsd:integer) |
| dbo:wikiPageLength |
3894 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1007163301 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Delphi_(programming_language) dbr:Julia_(programming_language) dbr:Rust_(programming_language) dbr:Eiffel_(programming_language) dbr:MIT_Press dbc:Type_systems dbr:Computer_science dbr:Types_and_Programming_Languages dbr:C++ dbr:C_(programming_language) dbr:C_Sharp_(programming_language) dbr:Type_system dbr:Data_type dbr:Isomorphism dbr:Haskell_(programming_language) dbr:Java_(programming_language) dbr:Abstract_type dbr:Swift_(programming_language) dbr:Syntax dbr:Objective-C dbr:Structural_type_system |
| dbp:wikiPageUsesTemplate |
dbt:Cite_book dbt:Reflist dbt:Type_systems |
| dct:subject |
dbc:Type_systems |
| gold:hypernym |
dbr:Class |
| rdf:type |
yago:WikicatTypeSystems yago:Artifact100021939 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:System104377057 yago:Whole100003553 |
| 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 d'un autre. Ce système est en contraste avec le système structurel, où les comparaisons sont fondées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites. (fr) In computer science, a type system is a nominal or nominative type system (or name-based type system) if 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. Nominal type systems contrast with structural systems, where comparisons are based on the structure of the types in question and do not require explicit declarations. (en) 명목적 또는 이름 기반 자료형 체계(nominal 혹은 nominative type system)은 자료형 체계의 주요 범주이다. 이 자료형 체계에서 자료형의 호환성과 등가성은 선언이나 자료형의 이름에 의해 명시적으로 결정된다. 노미널 체계는 두 자료형이 서로로 교체 가능한지, 혹은 하나가 다른 하나의 서브타입인지 확인하는 데 사용된다. 이는 와 대비를 이룬다. 구조적 체계의 경우, 자료형의 구조만 가지고 비교를 하며 명시적인 선언은 필요하지 않다. (ko) Στην επιστήμη των υπολογιστών ένα ονομαστικό σύστημα τύπων (Αγγλικά: Nominal type system) είναι μια βασική ομάδα του συστήματος τύπων όπου η ισότητα και η συμβατότητα μεταξύ τύπων δεδομένων καθορίζεται με τις ρητές δηλώσεις κατά τον ορισμό των ονομάτων των τύπων. Δύο τύποι είναι ισοδύναμοι (ισοδυναμία ονόματος / στα αγγλικά: name equivalence) εάν έχουν το ίδιο όνομα τύπου στο ίδιο πλαίσιο/συμφραζόμενα. Δύο τύποι που έχουν την ίδια δομή αλλά διαφορετικό όνομα τύπου θεωρούνται διαφορετικοί τύποι. Τα συστήματα τύπων χρησιμοποιούνται για να καθοριστούν αν δύο τύποι είναι ισοδύναμοι ή αν ένας τύπος είναι υποτύπος (στα αγγλικά: subtype) από κάποιον άλλον. Σε αντίθεση όταν έχουμε δομημένα συστήματα τύπων, δύο τύποι είναι ισοδύναμοι εάν έχουν την ίδια δομή (ονομάζεται ισοδυναμία δομής / στα αγγλικ (el) |
| rdfs:label |
Ονομαστικό σύστημα τύπων (el) Système nominatif de types (fr) 명목적 자료형 체계 (ko) Nominal type system (en) |
| owl:sameAs |
freebase:Nominal type system yago-res:Nominal type system wikidata:Nominal type system dbpedia-el:Nominal type system dbpedia-fa:Nominal type system dbpedia-fr:Nominal type system dbpedia-ko:Nominal type system dbpedia-vi:Nominal type system https://global.dbpedia.org/id/3EdZM |
| prov:wasDerivedFrom |
wikipedia-en:Nominal_type_system?oldid=1007163301&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Nominal_type_system |
| is dbo:wikiPageDisambiguates of |
dbr:Nominal |
| is dbo:wikiPageRedirects of |
dbr:Nominative_typing dbr:Nominal_typing dbr:Nominative_type_system |
| is dbo:wikiPageWikiLink of |
dbr:Nominative_typing dbr:Julia_(programming_language) dbr:Crystal_(programming_language) dbr:Rust_(programming_language) dbr:Nominal dbr:Go_(programming_language) dbr:Bounds_checking dbr:Modula-2 dbr:Simula dbr:Comparison_of_programming_languages_by_type_system dbr:C++ dbr:C_(programming_language) dbr:Carbon_(programming_language) dbr:Haxe dbr:Java_(programming_language) dbr:Nominal_typing dbr:Nemerle dbr:Nominative_type_system dbr:Subtyping |
| is dbp:typing of |
dbr:Julia_(programming_language) dbr:Crystal_(programming_language) dbr:Rust_(programming_language) dbr:Simula dbr:C++ dbr:C_(programming_language) dbr:Carbon_(programming_language) dbr:Java_(programming_language) dbr:Nemerle |
| is foaf:primaryTopic of |
wikipedia-en:Nominal_type_system |