]> On Fri, Oct 9, 2009 at 6:54 AM, Alp Mestan <alp@mestan.fr> wrote: > Can't there be a trick by playing with, e.g, ocamlmktop, which could open > Core and its main submodules by default, like it's done with Pervasives and, > IIRC, Batteries ? > Maybe. Although to be honest my main concern is not with the top-level, but rather with the errors given out by ocamlc, and the type-inference hints given by the -dtypes flag. The naming choices are easiest to see in the toplevel, but they show up all over the place. y > On Fri, Oct 9, 2009 at 11:58 AM, Yaron Minsky <yminsky@gmail.com> wrote: > >> Well, if we're picking heuristics, the fewest number of characters >> wouldn't be crazy either. Given the choice between Int.t and Int.comparable >> (which are aliases for the same type), I'd prefer to see Int.t. >> >> y >> >> >> 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)". It might be a bit annoying if the code that prints >>> doesn't know what modules are open. What do the INRIA priests say? >>> >>> Andrej >>> >> >> >> _______________________________________________ >> 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 >> >> > > > -- > Alp Mestan > http://alpmestan.wordpress.com/ > http://alp.developpez.com/ >