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 MAA28944; Fri, 30 Mar 2001 12:54:08 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 MAA28935 for ; Fri, 30 Mar 2001 12:54:07 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f2UAs5915286 for ; Fri, 30 Mar 2001 12:54:06 +0200 (MET DST) Received: from localhost (sansho.kurims.kyoto-u.ac.jp [130.54.16.90]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id TAA24314; Fri, 30 Mar 2001 19:54:00 +0900 (JST) To: Judicael.Courant@lri.fr Cc: caml-list@inria.fr Subject: Re: [Caml-list] Future of labels In-Reply-To: <3AC4627F.D741A755@lri.fr> References: <20010330120112L.garrigue@kurims.kyoto-u.ac.jp> <3AC4627F.D741A755@lri.fr> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20010330195423L.garrigue@kurims.kyoto-u.ac.jp> Date: Fri, 30 Mar 2001 19:54:23 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello Judicael, > Then, I am not opposed to have labels as the default mode (classic being > kept only for backward compatibility). However I wish there would be a > way to switch to this classic mode with a pragma (not only with a > command-line switch) so that it is easier to mix files in classic mode > and in modern mode in a given project (and if it is even possible, to > mix functions written in classic modes and in modern mode within a given > file). That would help moving eventually to modern mode. I asked for this pragma one year ago, but was refused it :-) This should come from the users, they said. > If I switch to labels, I would prefer changes to happen once. If you > remove labels from the standard library and leave them in third parties > libraries, either people won't use third-parties libraries (which would > be a pity) or they will come back later saying "labels are great! why > does the standard library lacks labels?". I would prefer the standard > library to have labels at the right places. IMHO there are still > possible improvements with respect to this issue. For instance in Map > you can find > > val add : key:key -> data:'a -> 'a t -> 'a t > val find : key -> 'a t -> 'a > val remove : key -> 'a t -> 'a t > > which is not really uniform (moreover, I never remember whether > it is find : key -> 'a t -> 'a or find : 'a t -> key -> 'a so I would > like to have find : key:key -> 'a t -> 'a) So bad you didn't say it one year ago :-( In ocaml-2.99, this was the case, but I had to remove labels on find and remove against my will :-) Remark that this might suggest yet another evolution: keep classic and label mode as they are now, but add more labels in the standard library (revert back to the old labels ?) Jacques P.S. It's friday night here, so I'll join back the discussion on monday. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr