From: Judicael Courant <Judicael.Courant@lri.fr>
To: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Future of labels, and ideas for library labelling
Date: Tue, 03 Apr 2001 10:07:39 +0200 [thread overview]
Message-ID: <3AC984CB.9BD87C5B@lri.fr> (raw)
In-Reply-To: <20010403093527G.garrigue@kurims.kyoto-u.ac.jp>
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
next prev parent reply other threads:[~2001-04-03 8:07 UTC|newest]
Thread overview: 76+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-03-31 3:40 [Caml-list] Future of labels Yaron M. Minsky
2001-04-02 3:39 ` [Caml-list] Future of labels, and ideas for library labelling Jacques Garrigue
2001-04-02 7:58 ` Judicael Courant
2001-04-02 8:50 ` Markus Mottl
2001-04-02 10:33 ` kahl
2001-04-03 0:35 ` Jacques Garrigue
2001-04-03 1:36 ` Kipton M Barros
2001-04-03 1:52 ` Patrick M Doane
2001-04-03 3:53 ` Jacques Garrigue
2001-04-03 5:10 ` Patrick M Doane
2001-04-03 9:30 ` Jacques Garrigue
2001-04-03 8:52 ` Xavier Leroy
2001-04-03 9:34 ` Judicael Courant
2001-04-03 9:54 ` Jacques Garrigue
2001-04-03 12:59 ` Jean-Christophe Filliatre
2001-04-03 13:11 ` [Caml-list] ocaml, java, rmi and jini Martin Berger
2001-04-03 19:23 ` Chris Hecker
2001-04-03 20:50 ` Gerd Stolpmann
2001-04-06 9:40 ` Sven LUTHER
2001-04-06 20:57 ` Gerd Stolpmann
2001-04-03 21:06 ` martinb
2001-04-06 15:03 ` Xavier Leroy
2001-04-03 14:06 ` [Caml-list] Future of labels, and ideas for library labelling Jacques Garrigue
2001-04-03 14:12 ` Daniel de Rauglaudre
2001-04-03 14:42 ` Claude Marche
2001-04-04 19:18 ` Gerd Stolpmann
2001-04-03 9:55 ` Ohad Rodeh
2001-04-03 18:06 ` [Caml-list] Example of Ocaml-syntax problem with ; Mattias Waldau
2001-04-04 15:15 ` [Caml-list] Suspending threads Ohad Rodeh
2001-04-04 17:28 ` Vitaly Lugovsky
2001-04-06 13:21 ` Xavier Leroy
2001-04-03 12:02 ` [Caml-list] Future of labels, and ideas for library labelling Dave Mason
2001-04-03 13:43 ` Francois-Rene Rideau
2001-04-03 14:23 ` Daniel de Rauglaudre
2001-04-03 13:43 ` Frank Atanassow
2001-04-03 13:58 ` Joshua D. Guttman
2001-04-03 16:52 ` Eric C. Cooper
2001-04-09 9:05 ` John Max Skaller
2001-04-09 7:29 ` John Max Skaller
2001-04-03 8:07 ` Judicael Courant [this message]
2001-04-03 6:55 ` Chris Hecker
2001-04-03 18:13 ` [Caml-list] Generics? Brian Rogoff
2001-04-03 20:12 ` Chris Hecker
2001-04-10 16:48 ` John Max Skaller
2001-04-09 8:11 ` [Caml-list] Future of labels, and ideas for library labelling John Max Skaller
2001-04-09 9:21 ` Jacques Garrigue
2001-04-09 15:06 ` Fergus Henderson
2001-04-10 18:49 ` John Max Skaller
2001-04-09 19:54 ` Chris Hecker
2001-04-10 3:37 ` Jacques Garrigue
2001-04-10 7:42 ` Judicael Courant
2001-04-10 8:25 ` Jacques Garrigue
2001-04-10 8:46 ` Claude Marche
2001-04-10 10:09 ` Jacques Garrigue
2001-04-10 14:42 ` Lionnel Maugis
2001-04-10 9:06 ` François-René Rideau
2001-04-11 15:34 ` Jacques Garrigue
2001-04-11 17:48 ` Dave Mason
2001-04-12 12:39 ` [Caml-list] How do I define prog1? Mattias Waldau
2001-04-12 14:22 ` Vitaly Lugovsky
2001-04-12 17:53 ` William Chesters
2001-04-12 15:15 ` Sven LUTHER
2001-04-12 16:14 ` Mattias Waldau
2001-04-12 15:21 ` Maxence Guesdon
2001-04-12 15:47 ` Stefan Monnier
2001-04-17 20:04 ` Chris Hecker
2001-04-10 22:43 ` [Caml-list] Future of labels, and ideas for library labelling Brian Rogoff
2001-04-11 8:29 ` Jacques Garrigue
2001-04-11 9:44 ` Anton Moscal
2001-04-11 13:16 ` Didier Remy
2001-04-11 15:11 ` Jacques Garrigue
2001-04-03 7:27 Arturo Borquez
2001-04-03 16:39 John R Harrison
2001-04-04 16:37 Dave Berry
2001-04-11 10:48 Francois-Rene Rideau
2001-04-17 11:53 Poigné
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3AC984CB.9BD87C5B@lri.fr \
--to=judicael.courant@lri.fr \
--cc=caml-list@inria.fr \
--cc=garrigue@kurims.kyoto-u.ac.jp \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox