tipado fuerte

Un lenguaje de programación es de tipado fuerte cuando se asigna un tipo a cada identificador. Cuando no se proporciona explícitamente un tipo, este se infiere.