tipado estructurado
Sistema de tipos, en el que la compatibilidad y la equivalencia entre tipos estás determinadas por la estructura o definición real del tipo, y no por otras características, como su nombre o lugar de declaración
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 ★
Común · Saberes
tipado estructurado
Sistema de tipos, en el que la compatibilidad y la equivalencia entre tipos estás determinadas por la estructura o definición real del tipo, y no por otras características, como su nombre o lugar de declaración
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.
En Wikipedia
Texto en inglés Aún no hay artículo en tu idioma: extracto en 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: Wikipedia en inglés, CC BY-SA 4.0. ·
Cartas cercanas
-
Teoría de tipos
Nº Q1056428 ★★
Sin ofertas
-
T
Tipado fuerte
Especificidad de la sintaxis de un idioma de programación al manipular tipos de datos
Nº Q991202 ★
Sin ofertas
-
D
Duck typing
Nº Q374282 ★★
Sin ofertas
-
S
System testing
Testing conducted on a complete integrated system to evaluate the system's compliance with its specified requirements
Nº Q1199682 ★
Sin ofertas
-
t
tipado estático
Comprobación de tipos del programa se realiza durante la compilación
Nº Q1940914 ★★
Sin ofertas
-
Tipología lingüística
Clasificación de las lenguas desde el punto de vista de sus similitudes gramaticales
Nº Q192625 ★★
Sin ofertas