¿Por qué es necesaria una tipificación estricta y por qué es más conveniente trabajar con ella que con la tipificación dinámica en JavaScript o Python?