As Ocaml modules are essentially ML modules, the MLton experience is certainly one to be carefully considered.
People, please don't hesitate to elaborate about how (un-)happy you are with ML/MLton alternate type naming strategies.

- damien





En réponse au message
de : Stephen Weeks
du : 2009-10-09 20:14:18
À : caml-list@yquem.inria.fr
CC : 
Sujet : Re: [Caml-list] Improving OCaml's choice of type to display


On Fri, Oct 9, 2009 at 3:33 AM, Andrej Bauer  <andrej.bauer@andrej.com > wrote:
> On Fri, Oct 9, 2009 at 3:40 AM, Yaron Minsky  <yminsky@gmail.com > wrote:
> > Choosing shorter names.
>
> By which you probably mean "the fewest number of dots (module
> projections)".

That is the rule we used in MLton, breaking ties by
most-recently-defined.  It worked quite well in practice.

See
  http://mlton.org/TypeChecking

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs