From: Pierre Weis <Pierre.Weis@inria.fr>
To: avv@quasar.ipa.nw.ru (Alexander V. Voinov)
Cc: bpr@best.com, caml-list@inria.fr
Subject: Re: [Caml-list] indent 2
Date: Sat, 21 Jul 2001 13:09:03 +0200 (MET DST) [thread overview]
Message-ID: <200107211109.NAA32432@pauillac.inria.fr> (raw)
In-Reply-To: <3B590D09.319D2083@quasar.ipa.nw.ru> from "Alexander V. Voinov" at "Jul 20, 101 10:03:05 pm"
> Hi All,
>
> Is the indentation with the step 2 a _must_ for those who program in
> OCaml? I got used 4, and already set all the necessary variables for
> caml-mode, so that I get:
>
> let count_range bt lwb upb =
> let bti = (IVB.from_to bt lwb upb) in
> let rec count1 bti n =
> if IVB.ok bti then begin
> match IVB.next bti with
> Some (k, v, b) ->
> (printf "in count1 %d %d %b\n" k v b); flush stdout;
> let n' = if b then n + 1 else n in
> count1 bti n'
> | None -> raise (Failure "this cannot happen")
> end
> else
> n
> in
> count1 bti 0
>
> Is this horrible/terrible/tolerable/appropriate?
>
> Alexander
> -------------------
> 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
Instead of answering by a two lines long comment and my version of
the best version of your program, I prefer to redirect you to a more
appropriate and documented source concerning Caml programming styles.
This is a good occasion for me to announce a major rewritting of the
Caml programming guide lines where this question is discussed in the
large among a lot of others concerning style, including where to break
lines in Caml programs, where and why use (or avoid) parens, etc.
http://pauillac.inria.fr/caml/FAQ/pgl-eng.html
http://pauillac.inria.fr/caml/FAQ/pgl-fra.html
Each programming problem is normally carefully discussed with
arguments (and counter-arguments, and sometimes
counter-counter-arguments) gathered from observation of a lot of Caml
programs including the Caml compilers source code, and from statements
and advices from some of the best Caml programmers in the world, not
mentionning one of the best source of counter-counter-meta-arguments I
know about Caml programs indentation and syntax problems: the sudden
and not always so kind flamewares that appear, while quietly sitting
for lunch in the INRIA's cafeteria !
However, if there is something new to add to these guidelines, feel
free to drop me a not: I would be glad to translate it in french or
english or even incorporate it as is, if you provide a
translation. Don't hesitate to signal an error either, since this is
the worse situation to face for a guideline writter to incorporate a
bug in the suggested programming style!
Thanks in advance for your help,
Pierre Weis
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/
-------------------
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
next prev parent reply other threads:[~2001-07-21 11:09 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-07-20 13:21 [Caml-list] Dequeues (was Generation of streams is slow) Krishnaswami, Neel
2001-07-20 18:49 ` Chris Hecker
2001-07-20 19:08 ` [Caml-list] Views Chris Hecker
2001-07-21 4:50 ` [Caml-list] Dequeues (was Generation of streams is slow) Brian Rogoff
2001-07-21 5:03 ` [Caml-list] indent 2 Alexander V. Voinov
2001-07-21 11:09 ` Pierre Weis [this message]
2001-07-21 11:29 Damien Doligez
2001-07-21 16:45 ` Alexander V. Voinov
2001-07-21 18:07 ` Brian Rogoff
2001-07-22 10:06 ` Pierre Weis
2001-07-22 11:20 ` Markus Mottl
2001-07-23 0:27 ` Brian Rogoff
2001-07-23 7:52 ` Luc Maranget
2001-07-23 10:20 ` Markus Mottl
2001-07-22 19:40 ` Jeremy Fincher
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=200107211109.NAA32432@pauillac.inria.fr \
--to=pierre.weis@inria.fr \
--cc=avv@quasar.ipa.nw.ru \
--cc=bpr@best.com \
--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