Algunos tipos de datos son bastante similares entre sí que copiar el valor de una variable de un tipo a una variable de un tipo diferente, no presentará ningún problema aparente . Con el tipo estricta comprobación habilitada, el compilador o intérprete no le permitirá copiar los diferentes tipos de datos entre las variables sin primer casting , o convertir de forma explícita , los datos para que coincida con el tipo de la variable de destino.
Beneficios
comprobación de tipos estricta puede prevenir muchas programa o errores lógicos que son difíciles de encontrar con una simple depuración. Al asegurarse de que los tipos de datos se utilizan correctamente, el compilador aplica buenos hábitos de programación que merecen la pena en el largo plazo con las aplicaciones más estables.
Consideraciones
Mientras que muchas lenguas modernas han adoptado un enfoque más floja que escribir cheques, de estricta comprobación de tipos sigue siendo la práctica de programación mejor cuando estén disponibles. Si el paquete de desarrollo que está trabajando no utiliza esta función por defecto, considere la posibilidad de volver a encenderla para ayudar a asegurarse de que sus programas sean lo más estable y fácil de depurar posible.