Scala tiene un sistema de tipos estáticos que garantiza el uso coherente y seguro de las abstracciones de tipos. Los lenguajes fuertemente tipados como Scala no permiten violaciones de tipos de datos y requieren conversiones explícitas cuando se usan variables de diferentes tipos.

1. 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.