El tipado estático busca errores en los tipos de datos durante la compilación.