En sémantique anglaise, la "déduction de type" est-elle égale à "type inferring"?Quelle est la différence entre "déduction de type" C++ et "inférence de type" Haskell?
Je ne sais pas si
Merci.
La spécification C++ et les brouillons de travail utilisent 'type deduc' de manière extensive en référence au type d'expression qui n'a pas de déclaration de type comme référence; par exemple this working draft on concepts l'utilise quand on parle de auto -déclarée variables et je me souviens de beaucoup de livres qui l'utilisaient quand on parlait de modèles il y a très longtemps quand je devais apprendre - et par la suite oublier la plupart - C++. Type inference, cependant, a sa propre page Wikipedia et est aussi le nom d'un domaine d'étude important dans la théorie des langages de programmation. Si vous dites l'inférence de type, les gens penseront immédiatement aux langages de programmation fonctionnels typés modernes. Vous pouvez même l'utiliser comme règle pour comparer les langues; certains pourraient dire que leur langage X ou leur bibliothèque Y est plus facile à taper l'inférence et est donc meilleur ou plus amical.
Je dirais que l'inférence de type est le terme le plus spécifique, le plus précis et le plus utilisé. La déduction de type en tant que phrase ne contient probablement que le cachet de la communauté C++. Les termes sont des cousins proches, mais le contexte dans lequel ils ont été utilisés leur a donné des nuances dictionnaires de couleur.