El lenguaje en el que el tipo de cada variable, expresión o función se define antes de la compilación o durante la ejecución, y el compilador o entorno de ejecución verifican estrictamente la conformidad de tipos en las operaciones. Esto previene errores relacionados con incompatibilidades de tipos en etapas tempranas del desarrollo.

Anterior Siguiente