Ce n'est pas un typage dynamique, mais une inférence de type. Ça permet de faire beaucoup plus de vérifications statiques (au moment de la compilation). Par exemple :
c=1
foo(c)
e="toto"
foo(e)
def foo(myvar) {
// ici tu *dois* (le compilateur n'accepteras
// pas que tu écrive du code qui marche que
// dans l'un des cas) prendre en compte le fait
// que myvar peut être un entier ou une string
}
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Pourquoi un typage dynamique pour avoir plus de sûreté ?
Posté par barmic . En réponse à la dépêche Présentation de Rust 0.8. Évalué à 4.
Ce n'est pas un typage dynamique, mais une inférence de type. Ça permet de faire beaucoup plus de vérifications statiques (au moment de la compilation). Par exemple :
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)