]> 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