From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA16296; Wed, 11 Apr 2001 16:07:24 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA16463 for caml-list@pauillac.inria.fr; Wed, 11 Apr 2001 16:07:23 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA10960 for ; Wed, 11 Apr 2001 11:41:56 +0200 (MET DST) Received: from ajax1.sovam.com (ajax1.sovam.com [194.67.1.172]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f3B9fuf27865 for ; Wed, 11 Apr 2001 11:41:56 +0200 (MET DST) Received: from ts6-a84.Spb.dial.sovam.com ([195.190.96.84]:1056 "EHLO kouzdra.glokaya" ident: "root" whoson: "-unregistered-" smtp-auth: TLS-CIPHER: TLS-PEER: ) by ajax1.sovam.com with ESMTP id ; Wed, 11 Apr 2001 13:41:39 +0400 Received: from localhost (msk@localhost) by kouzdra.glokaya (8.9.3/8.9.3) with ESMTP id NAA19654; Wed, 11 Apr 2001 13:44:21 +0400 X-Authentication-Warning: kouzdra.glokaya: msk owned process doing -bs Date: Wed, 11 Apr 2001 13:44:21 +0400 (MSD) From: Anton Moscal X-Sender: msk@kouzdra.glokaya To: Jacques Garrigue cc: Caml list Subject: Re: [Caml-list] Future of labels, and ideas for library labelling In-Reply-To: <20010411172919K.garrigue@kurims.kyoto-u.ac.jp> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, 11 Apr 2001, Jacques Garrigue wrote: > The situation seems to have calmed down a bit. Or is it just that > there is another more active thread? > > Anyway, I think that the conclusion is not very far. At least, we have > collected all known problems about labels, and tried to answer them. > > Here is a summary of the plan I tried to draw from many people's > contributions (and my own experience and convictions :-)): > > * remove labels from standard libraries > * make label mode the default (and practically unique) mode; > this preserves compatibility with ocaml 2.x > * slightly extend it to allow non-labelled complete applications of > functions: this is non-ambiguous, but keep a warning for purists, > and also because of the slight mismatch between program text and > untyped semantics > * put some labels in alternative versions of a few libraries > (List, Array, Unix). Access to these libraries would use already > existing ways: "open Stdlabels", "module Unix = Lunix" If you are going to make new versions of the standard libraries, it's a good moment for doing some unifications of these libraries: for example will be good if all "collection" modules (List,Array, String, Map, Set, Hashtbl) will have similar sets of functions: for examples - fold's, map's, etc in String, iteri, mapi, foldi in String, Array, Map, Set etc. or, for example, types 'a List.t, 'a Array.t for simplifing of usage Array and List as parameters for functors. etc. or include functions print: String.print Char.print ... instead of print_string etc. String.compare: string -> string -> int Char.compare: char -> char -> int etc. And many others changes of the same kind. Regards, Anton ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr