Scala tiene tipos de datos estáticos y es fuertemente tipado, lo que significa que refuerza el uso coherente y seguro de abstracciones de tipos y no permite violaciones de tipos de datos a menos que se realice una conversión explícita.

1. Tipos de datos Tipos estáticos: Scala está equipado con un sistema de tipos expresivo que refuerza a que las abstracciones de tipos se usen en forma coherente y segura.

2. Tipos fuerte: 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 conversión.