Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Markus Mottl <markus@oefai.at>
To: Gerard Huet <Gerard.Huet@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Syntax
Date: Tue, 5 Feb 2002 15:49:45 +0100	[thread overview]
Message-ID: <20020205144941.GC26898@chopin.ai.univie.ac.at> (raw)
In-Reply-To: <200202051419.g15EJSH21401@concorde.inria.fr>

On Tue, 05 Feb 2002, Gerard Huet wrote:
> Until recently there was no point in pushing the revised syntax, because it 
> was very hard to teach the language when the system's printer used another 
> syntax than what you typed in. Now that there is smooth integration of 
> camlp4 with ocaml with the 3.04, there is no excuse not to use the much 
> superior revised syntax, in my opinion. Which does not mean that there 
> should be a big concerted effort to switch all our code from one syntax to 
> the next. 

The merging of camlp4 into the standard distribution and its integration
with the toplevel was definitely an important step. I also don't think
that there should be a "big concerted effort", but it might be a good
idea to provide for a "travel plan". Maybe something in the spirit of
the introduction of the Euro, e.g. "We are considering making revised
(or whatever) syntax the default on 01.01.2004." ;)

This would give people an incentive to start new projects in the new
syntax. Surely, it may be necessary to clean up revised syntax before,
too, to make it really shine.

> The crucial point is that we need good tutorials, reference manuals, and
> books in the revised syntax before being serious about "standardizing"
> in something else than the usual syntax. Once this material exists,
> then we can talk.

I agree that this is an absolutely necessary prerequisite. Pushing people
into the cold water without previous preperation will not make them happy.

> I suggest this syntax problem should be seriously considered, but as
> a long-term effort, encompassing development tools and documentation
> and training material. This is not a battle that can be won by one
> round of email flame.

Definitely. I somehow had the impression that the topic of discussion was
being pushed into the direction of "Let's change syntax now (or not).",
which was never my intention. I was merely asking for a plan concerning
future and possibly major syntax changes. The language maintainers would
be surely well-advised to consider this in the long-term.

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr


  reply	other threads:[~2002-02-05 14:49 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-02-05 14:18 Gerard Huet
2002-02-05 14:49 ` Markus Mottl [this message]
2002-02-05 15:16 ` Jean-Francois Monin
2002-02-05 17:51 ` Diego olivier FERNANDEZ PONS
2002-02-05 21:47 [Caml-list] syntax Michael Vanier
2002-02-06 12:24 ` Daniel de Rauglaudre
2002-02-06 12:53 ` Achim Blumensath
     [not found] <3C60E263.D2E35B3A@tsc.uc3m.es>
2002-02-06 10:08 ` [Caml-list] Syntax Diego olivier FERNANDEZ PONS
     [not found] <200202061059.g16Ax2n25555@concorde.inria.fr>
2002-02-06 12:09 ` Diego olivier FERNANDEZ PONS
2002-10-11 11:34 [Caml-list] Threats on future of Camlp4 Kontra, Gergely
2002-10-11 16:36 ` [Caml-list] Syntax brogoff

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=20020205144941.GC26898@chopin.ai.univie.ac.at \
    --to=markus@oefai.at \
    --cc=Gerard.Huet@inria.fr \
    --cc=caml-list@inria.fr \
    /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