From: Gerard Huet <Gerard.Huet@inria.fr>
To: "Warp" <warplayer@free.fr>, caml-list@inria.fr
Cc: Gerard.Huet@inria.fr
Subject: Re: [Caml-list] OCaml IDEs for beginners?
Date: Wed, 01 May 2002 12:26:28 +0200 [thread overview]
Message-ID: <200205011027.g41ARwX11204@concorde.inria.fr> (raw)
In-Reply-To: <1020171997.3cce96dd937d7@imp.free.fr>
>About this subject, I would like to make a public Request for Features, in
>order to gather many opinions and tips about that IDE . ( which will be at
>the same time for beginners AND for experienced people ).
>
>Nicolas Cannasse
Bonjour.
Ma première requête est que l'IDE soit basé sur la syntaxe abstraite d'Ocaml,
et que les outils liés à la syntaxe concrète (macros emacs et autres) soient
paramétrés par la grammaire camlp4, de manière à pouvoir se décliner aussi
bien pour la syntaxe révisée que pour la syntaxe ordinaire. Ceci n'est pas
une feature, c'est une décision importante d'architecture. Ainsi les débutants
pourront apprendre la bonne syntaxe, alors que les habitués pourront continuer
à éditer leurs programmes dans la syntaxe dont ils ont l'habitude
Gérard Huet
Hello
My first request is that the IDE ought to be based on Ocaml's abstract syntax,
and that the tools dealing with the concrete syntax (such as emacs macros) be
parameterized by the camlp4 grammar, so as to be adaptable to the revised
syntax as well as to the standard syntax. This is not a mere feature, it is
an important architectural design decision. This way beginners may learn the
revised syntax, while experienced users may keep the syntax they are familiar
with.
Gérard Huet
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2002-05-01 10:28 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-04-30 11:25 Benjamin C. Pierce
2002-04-30 12:04 ` Michel Schinz
2002-04-30 13:06 ` Warp
2002-04-30 16:56 ` Warp
2002-05-01 16:09 ` Benjamin C. Pierce
2002-05-02 11:51 ` Maxence Guesdon
2002-05-01 10:26 ` Gerard Huet [this message]
2002-04-30 21:27 ` John Max Skaller
2002-05-01 8:24 ` Yozo TODA
2002-05-01 11:43 ` Benjamin C. Pierce
2002-05-01 22:56 ` Jacques Garrigue
2002-05-02 11:16 ` Benjamin C. Pierce
2002-05-03 10:43 Gregory Morrisett
2002-05-03 12:24 Gregory Morrisett
2002-05-03 12:33 ` Benjamin C. Pierce
2002-05-03 16:47 ` roberto
2002-05-03 20:59 ` Henrik Motakef
2002-05-03 21:12 ` Paul Steckler
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=200205011027.g41ARwX11204@concorde.inria.fr \
--to=gerard.huet@inria.fr \
--cc=caml-list@inria.fr \
--cc=warplayer@free.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