English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Teaching bottomline, part 3: what should improve.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-05-23 (02:46)
From: David Thomas <david_hd@y...>
Subject: Re: [Caml-list] Teaching bottomline, part 3: what should improve.
Would it be possible for this to be an option?  I
mean, it seems like the information is at least
available on another pass through the code.  Twice the
compilation time in some cases will typically win out
over minutes-to-hours trying to figure out where it
inferred THAT.

--- skaller <skaller@users.sourceforge.net> wrote:

> On Tue, 2007-05-22 at 18:10 -0400, David Teller
> wrote:
> > * Error messages of the type system are somewhat
> obscure. The reflex of
> > many students is "OCaml wants it to be of type
> XXX", rather than "there
> > is a contradiction in what I wrote". It would be
> nice if there was a way
> > to ask OCaml to display additional information on
> type errors.
> This is a long standing peeve of mine. Lets face it:
> Ocaml just lies.
> If it has inferred a type, then finds a
> contradiction, it should
> report both the location of the contradication AND
> all of the source
> lines that contributed to the inference.
> I understand that is may be hard, if not impossible,
> to implement,
> as it would require a unification engine that could
> manage
> source references in parallel with deductions ..
> still the information
> IS available originally.
> I bet this would be an interesting and valuable PhD
> project,
> and, IMHO, without it type inferencing languages are
> useless
> in industry. Type errors in Ocaml code are very
> common for the
> simple reason they're just about the only error you
> can make :)
> -- 
> John Skaller <skaller at users dot sf dot net>
> Felix, successor to C++: http://felix.sf.net
> _______________________________________________
> Caml-list mailing list. Subscription management:
> Archives: http://caml.inria.fr
> Beginner's list:
> http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

____________________________________________________________________________________Ready for the edge of your seat? 
Check out tonight's top picks on Yahoo! TV.