Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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-24 (13:15)
From: David Teller <d.o.teller@g...>
Subject: Re: [Caml-list] Teaching bottomline, part 3: what should improve.
On Wed, 2007-05-23 at 09:16 +1000, skaller wrote:
> On Tue, 2007-05-22 at 18:10 -0400, David Teller wrote:
> > * Error messages of the type system are somewhat obscure. 


> 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 tend to believe that there is a simple solution to the problem (I
haven't looked at Dan Grossman's paper yet): re-run the typing of the
last function and print out the hypothesis and each unification as it

> I bet this would be an interesting and valuable PhD project,
> and, IMHO, without it type inferencing languages are useless
> in industry. 

I concur.

> Type errors in Ocaml code are very common for the
> simple reason they're just about the only error you can make :)


David Teller ------------------------------------------
Security of Distributed Systems -----------------------
----- Laboratoire d'Informatique Fondamentale d'Orleans