J'essaie de clarifier ces notions de typage fort/faible et de typage statique/dynamique.
Typage faible : un langage qui autorise des
conversions implicites entre variables de types différents est un langage
faiblement typé. A ce titre
C est un langage faiblement typé.
Typage fort : langage qui n'autorise
aucune conversion implicite entre variables. ADA est un langage fortement typé car on ne peut même pas affecté un entier à un float sans explicité la conversion. Toute conversion doit être explicitée.
Typage statique : langage où
toute expression possède un type déterminé à la compilation et n'en change pas à l'exécution. Le langage
C est à typage statique contrairement à Python.
Typage dynamique : langage dont l
e type des variables et des expressions peut être déterminées à l'exécution.
Conclusion pour le
langage C : c'est un langage faiblement typé statiquement et ces 2 notions ne doivent pas être confondues ce que la prose de certains ici laissent pourtant entendre...
Voir :
https://www.verimag.fr/PEOPLE/Lauren...es_cours_3.pdf en particulier la page 5.