Quelle est la différence entre la typage statique et dynamique dans les langages de programmation?

La typage statique signifie que les types de variables sont définis et vérifiés lors de la compilation. Cela permet de détecter les erreurs de type avant l'exécution du programme. Par exemple, en Swift ou C++, le type de variable est spécifié explicitement ou déduit par le compilateur, et ne peut pas être modifié.

La typage dynamique signifie que les types de variables sont déterminés lors de l'exécution du programme. Cela offre une plus grande flexibilité, mais les erreurs de type ne peuvent apparaître qu'au moment de l'exécution. Des exemples de langages à typage dynamique sont Python et JavaScript.

Exemple en Swift (typage statique):

var number: Int = 10
number = "chaîne" // Erreur de compilation

Exemple en Python (typage dynamique):

number = 10
number = "chaîne"  # Fonctionne sans erreur