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 KAA15855; Tue, 3 Apr 2001 10:07:50 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA15945 for ; Tue, 3 Apr 2001 10:07:49 +0200 (MET DST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3387hf28094 for ; Tue, 3 Apr 2001 10:07:43 +0200 (MET DST) Received: from pc87.lri.fr (IDENT:root@pc87 [129.175.8.106]) by ext.lri.fr (8.11.1/jtpda-5.3.2) with ESMTP id f3387fu06800 ; Tue, 3 Apr 2001 10:07:42 +0200 (MET DST) Received: from lri.fr (IDENT:jcourant@localhost.localdomain [127.0.0.1]) by pc87.lri.fr (8.9.3/jtpda-5.3.2) with ESMTP id KAA10727 ; Tue, 3 Apr 2001 10:07:39 +0200 Message-ID: <3AC984CB.9BD87C5B@lri.fr> Date: Tue, 03 Apr 2001 10:07:39 +0200 From: Judicael Courant X-Mailer: Mozilla 4.72 [fr] (X11; U; Linux 2.2.14-5.0 i686) X-Accept-Language: en MIME-Version: 1.0 To: Jacques Garrigue CC: caml-list@inria.fr Subject: Re: [Caml-list] Future of labels, and ideas for library labelling References: <20010402123958K.garrigue@kurims.kyoto-u.ac.jp> <3AC83117.7C3AD3C9@lri.fr> <20010402103351.1844.qmail@dionysos.informatik.unibw-muenchen.de> <20010403093527G.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue a écrit : > > Also, these reactions surprised me a bit. I can very well see why > Wolfram pushes labels: he has as much experience as me in them, and > knows where they help. But Judicael and Markus had just said that they > were not using label mode. They may convince people much better if > they come back next week after having converted a few programs to > labels mode :-) Ok. My reaction is mainly motivated by the fact that 1) I would like to have only one mode eventually (*) 2) I am ready to make a little effort on my side to achieve this Now, I agree I should try a bit more labels before arguing in favor of them :-) However, I just converted one 2kloc program I am working on in a few minutes. I did not switch to labels before just because 1) it was not the default mode and I am quite lazy 2) I have bad manners (I mean, I do not use labels) and my mother (I mean the classic mode) did not forbid me to keep them As a result I used labels once in the code I just converted when defining a function, but never but never used them when calling any function. I guess the same is true for other users. > Seriously, what labels lack currently is serious > users. (Well, there are some in Japan, but they are not very > outspoken). Ok, I am switching to -modern... After all, maybe the only change you have to make for the moment to encourage people to use labels is to make -modern the default mode and give a pragma for switching to classic mode/to modern mode (in addition to the command-line flags). Judicaël. (*) I tried once to do some copy-paste from a code I found in labltk examples into some of my code and had to switch to modern mode to use it (making it compile in classic mode was a nightmare). Fortunately, my code was quite simple so that the switch was easy... -- Judicael.Courant@lri.fr, http://www.lri.fr/~jcourant/ (+33) (0)1 69 15 64 85 "Montre moi des morceaux de ton monde, et je te montrerai le mien" Tim, matricule #929, condamné à mort. http://rozenn.picard.free.fr/tim.html ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr