¿Qué significa type inference?
Significado en Desarrollo de software, traducción al español y ejemplos
type inference: inferencia de tipos
Determinación del tipo de un valor o expresión a partir del código, sin exigir que el programador escriba ese tipo explícitamente.
Cómo se usa
Es frecuente en mensajes del compilador y guías de lenguajes tipados. Un tipo inferido sigue siendo comprobado por el lenguaje.
Frases de ejemplo
The compiler used type inference to recognize the list as a list of integers.
El compilador usó inferencia de tipos para reconocer que la lista contenía enteros.
Los valores de los elementos aportaron información suficiente sin declarar por escrito el tipo de la lista.
Type annotations helped where type inference could not choose between two overloads.
Las anotaciones de tipos ayudaron allí donde la inferencia no podía decidir entre dos sobrecargas.
La información explícita resuelve la ambigüedad; la inferencia no siempre puede determinar cada expresión.
Combinaciones frecuentes
- compiler type inference
- type inference rules
Términos relacionados
Más términos: Conceptos de programación
Practica con lecturas adaptadas a tu nivel
Leer textos de tu nivel te ayuda a recordar las palabras nuevas. Elige libros gratuitos en inglés: