Re: ergonomie du compilateur

From: Xavier Leroy (Xavier.Leroy@inria.fr)
Date: Tue Jan 21 1997 - 11:33:57 MET


From: Xavier Leroy <Xavier.Leroy@inria.fr>
Message-Id: <199701211033.LAA14208@pauillac.inria.fr>
Subject: Re: ergonomie du compilateur
In-Reply-To: <Pine.GSO.3.95.970115103536.5934B-100000@bellecour> from David Monniaux at "Jan 15, 97 10:46:39 am"
To: David.Monniaux@ens-lyon.fr (David Monniaux)
Date: Tue, 21 Jan 1997 11:33:57 +0100 (MET)

[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



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:09 MET