[English summary: explaining type inference errors is a great idea,
but unfortunately something that no one knowns how to do right --
witness the number of papers published on this topic since 1982.]


> En effet, souvent une erreur de typage intervient à une ligne donnée
> non pas à cause d'un problème à cette ligne, mais à cause d'un problème à une
> ligne antérieure. S'il est souvent assez facile de retrouver où a été typé
> un terme, cela devient quelquefois difficile, notamment avec les fonctions
> récursives, pour le type de la fonction.
> Ne pourrait-on pas faire que, sur demande, le compilateur, lorsqu'il
> rencontre une erreur de type, ressorte d'où il a inféré les types qui lui
> posent problème?

Bonne idee, mais personne ne sait faire. Il y a eu une bonne dizaine
d'articles publies la-dessus depuis 1982. Toutes les idees simples se
revelent marcher tres mal en pratique. Une bonne reference est
l'article de Duggan dans Science of Computer Programming 27(1).

- Xavier Leroy