tipado fuerte

Un lenguaje de programación está fuertemente tipado cuando se asigna un tipo a cada identificador. Cuando el tipo no se proporciona explícitamente, se infiere.