Perché è necessaria una tipizzazione rigorosa e perché è più conveniente lavorarci rispetto alla tipizzazione dinamica in JavaScript o Python?