Je ne sais pas, fait une proposition :) mais le terme genericité me convient personnelement.
Le typage dynamique permet d'effectuer une edition de lien veritablement dynamique ou le branchement vers la bonne fonction est determinée a l'execution. Certe cela est possible en C++ grace a la table des fonction virtuelle, mais il ne s'agit pas vraiment d'une vrai liaison dynamique car on ne peut pas changer l'objet pendant l'execution par exemple.
Une derniere chose Caml n'est pas statiquement typé car il fait de l'inference de type.
[^] # Re: Quel langage choisir.
Posté par Anonyme . En réponse au journal Quel langage choisir.. Évalué à 1.
Le typage dynamique permet d'effectuer une edition de lien veritablement dynamique ou le branchement vers la bonne fonction est determinée a l'execution. Certe cela est possible en C++ grace a la table des fonction virtuelle, mais il ne s'agit pas vraiment d'une vrai liaison dynamique car on ne peut pas changer l'objet pendant l'execution par exemple.
Une derniere chose Caml n'est pas statiquement typé car il fait de l'inference de type.