J'essaie d'en savoir plus sur les systèmes de vérification de type de programme complet et d'inférence de type qui utilisent les informations des sites d'appel de fonction pour calculer les informations de type (en plus de l'approche standard d'utilisation du corps de fonction). Par exemple, un tel algorithme pourrait utiliser un appel de fonction comme foo(1)
pour déduire que la fonction dans foo
prend des arguments entiers. Évidemment, cela compliquerait beaucoup l'inférence et rendrait le chèque non modulaire.
Quoi qu'il en soit, je n'ai pas eu beaucoup de chance pour trouver des recherches sur cette approche, probablement parce que je ne connais pas la bonne terminologie pour décrire ce dont je parle. Des pointeurs?