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
Re: [Caml-list] Improving OCaml's choice of type to display
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-10-10 (15:08)
From: Damien Guichard <alphablock@o...>
Subject: Re: [Caml-list] Improving OCaml's choice of type to display

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.


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