Structural type system
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
A structural type system (or property-based type system) is a major class of type systems 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.
Nº Q936724 ★
Comum · Saberes
Structural type system
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
A structural type system (or property-based type system) is a major class of type systems 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.
Na Wikipédia
Texto em inglês Ainda não há artigo no seu idioma: trecho em inglês.
A structural type system (or property-based type system) is a major class of type systems 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.
Texto: Wikipédia em inglês, CC BY-SA 4.0. ·
Cartas próximas
-
Teoria dos tipos
Nº Q1056428 ★★
Sem ofertas
-
S
Strong typing
Specificity of a programming language's syntax when manipulating types of data
Nº Q991202 ★
Sem ofertas
-
D
Duck typing
Nº Q374282 ★★
Sem ofertas
-
T
Teste de sistema
Nº Q1199682 ★
Sem ofertas
-
s
static typing
Type system paradigm where all type checking is done at compile time
Nº Q1940914 ★★
Sem ofertas
-
Tipologia linguística
Classificação das línguas de acordo com suas características estruturais
Nº Q192625 ★★
Sem ofertas