Est-il plus facile d'écrire du code robuste dans des langages compilés et strictement typés? [fermé

Question

Je voudrais lire l'avis des experts sur la question de savoir si les langages compilés et strictement typés aident les programmeurs à écrire plus facilement du code robuste, à avoir le dos, à vérifier les décalages de type et en général, à attraper des défauts dans le temps de compilation qui autrement serait découvert dans l'exécution de l'exécution ?

Les tests unitaires dans les langues à dactylographie vaguement doivent-ils être plus approfondis car les cas de test doivent évaluer les choses qui, dans les langues compilées, ne se compileraient pas simplement?

Besoin du programmeur dans un besoin strictement typique compilé, car il n'a pas à vérifier constamment les types corrects (instance d'opérateur) car le compilateur attrape ces choses (la même s'application à des noms de variables mal orthographiés ou des variables non initiées )?

Remarque: par langage strictement typé, je veux dire des langues qui vous obligent à déclarer des variables et à leur attribuer un type pour pouvoir les utiliser, et une fois qu'une variable est déclarée, vous ne pouvez pas modifier son type ou attribuer des valeurs de type incompatible.

int myInt = 0;
String myString = "";
myInt = myString; // this will not fly in a strictly typed language
myInte = 10;   // neither will this ( myInte variable doesn't exist )