Nominal type system
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.
Wikipage redirect
ABAPAbstract typeAda (programming language)Agda (programming language)Bounds checkingC++CWEBC (programming language)C Sharp (programming language)Comparison of programming languages by type systemEC (programming language)Go (programming language)GrGenHandel-CHaxeJava (programming language)Julia (programming language)Lasso (programming language)Modula-2NemerleNominal typingNominative and structural type systemsNominative type systemNominative typingOpenCLPLEXILPolyphonic C SharpRust (programming language)SPARK (programming language)Seed7SimulaSpec SharpStructural type systemSubtypingType systemVisual Basic .NETWhiley (programming language)
Link from a Wikipage to another Wikipage
ABAPAda (programming language)Agda (programming language)C++CWEBC (programming language)C Sharp (programming language)EC (programming language)GrGenHandel-CJava (programming language)Julia (programming language)NemerleOpenCLPLEXILPolyphonic C SharpRust (programming language)SPARK (programming language)Seed7SimulaSpec SharpVisual Basic .NET
typing
primaryTopic
Nominal type system
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.
has abstract
In computer science, a type sy ...... require explicit declarations.
@en
Un système nominatif de types ...... as de déclarations explicites.
@fr
Στην επιστήμη των υπολογιστών ...... ή δήλωση ίδιου ονόματος τύπου.
@el
명목적 또는 이름 기반 자료형 체계(nominal 혹은 ...... 만 가지고 비교를 하며 명시적인 선언은 필요하지 않다.
@ko
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,007,163,301
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
In computer science, a type sy ...... require explicit declarations.
@en
Un système nominatif de types ...... as de déclarations explicites.
@fr
Στην επιστήμη των υπολογιστών ...... ισοδυναμία δομής / στα αγγλικ
@el
명목적 또는 이름 기반 자료형 체계(nominal 혹은 ...... 만 가지고 비교를 하며 명시적인 선언은 필요하지 않다.
@ko
label
Nominal type system
@en
Système nominatif de types
@fr
Ονομαστικό σύστημα τύπων
@el
명목적 자료형 체계
@ko