Un
lenguaje de programación es fuertemente tipado si no se permiten violaciones de los tipos de datos, es decir, dado una variable de un tipo concreto, no se puede usar como si fuera una variable de otro tipo distinto a menos que se haga una conversion. No hay una única definición de este término. Un lenguaje que no es fuertemente tipado se dice que no está tipado.
Ver más en Wikipedia.org...